You don't need to fix that.
Did you have an amount listed in Box 12 on your W-2 with Code W?
That indicates contributions were made BEFORE tax.
Contributions made pre-tax are not used for a tax break because that was the tax break, they were made with pre-taxed (not taxed) dollars.