option 1: He should wait to see whether 26AS is updated(hoping that form 16 is not manual)
option 2: He should ask accounts section to check the discrepancy
option 3: If the difference is not significant, file return with the higher of the two amounts
If you already filed the return , you can always revise it.