The tax is calculated correctly because the employer who excludes the $3,000 catch-up from the amount in box 1, so the $3,000 never gets added to taxable income.
