You don't need to do anything more once you enter your W-2. You made extra payments through payroll so they're on your W-2 and entered when you enter your W-2, Box 17.
**Say "Thanks" by clicking the thumb icon in a post
**Mark the post that answers your question by clicking on "Mark as Best Answer"
