Deductions & credits

It's completely improper for the employer to make the contributions after tax and then put the amount in box 12.  If you are sure that is what happened, the employer needs to issue a corrected W-2.