Was the contribution made through the employer (Code "W" in Box 12 of his W-2)? If so, you don't enter it again as a contribution because the W-2 has already taken care of that.
