That is correct. There is nothing that you have to correct.
The HSA contributions shown in box 12 of your W-2 with code W are called employer contributions, even though the amount was deducted from your pay. That amount is not included in your wages in box 1 of the W-2, so it is already deducted from the income that you report. You can't deduct it again on your tax return, so you do not get any additional deduction on the tax return.
