Did he receive a W-2 that shows the 403B contribution in box 12?
If so box 1 should already be reduced by that amount.
