That makes sense, but it is still unusual. You are "paying tax on the tax" but you're not being double taxed. You are effectively getting that money to pay your tax on the benefit. What your employer pays, to the IRS, should (I think) be included as withholding in boxes 2, 4 & 6 of your W-2.
