Get your taxes done using TurboTax

I made contributions to a Roth 403b, and my employer made matching pre-tax contributions. My employer has added the amount of their pre-tax contributions to my salary in box 1 of my W2 (so that the amount in box 1 is higher than my gross salary). Should they have done that? It seems like I will now be taxed twice on that amount: once when I pay income tax this year, and once when I receive that money after I retire.