Was he actually reimbursed $1,600?  Or was it contributed to the plan and forfeited?

I wouldn't make any assumptions based solely on the W-2.  Often the year-end paystub will shed some light on things (if reimbursements are included in the paycheck).