A 401K is not an IRA. You only enter it from his W2 box 12. You can't deduct it. It has already been deducted from the wages in box 1 and you can't deduct it again. Do not enter it under Deductions as a IRA contribution.
