Retirement tax questions

You say it was not "listed" on his W-2.  Are you sure, it was not already include in box 1 of his W-2? If not, I agree with TurboTaxKerriP, it is taxable income and should go on line 21, of form 1040, as other income