The bonus and the tax should be included in his W-2. The bonus should be included in the total wages in box 1, and the tax that was withheld should be included in the total tax withheld in box 2. If they are included you don't have to do anything special. Just enter the amounts from the W-2. It doesn't matter that it was a bonus. It's just treated as additional pay.
