If he has a 401(k) or TSP through his employer, his contribution is reported in Box 12 of his W-2 with the letter code D. Because his contributions are included in his W-2, do not re-enter these in the retirement section.
**Say "Thanks" by clicking the thumb icon in a post
**Mark the post that answers your question by clicking on "Mark as Best Answer"