If his employer was changing payroll systems maybe he should have another W2. Or ask the employer. Or did he put the difference into a 401K plan? Check W2 box 12.
