Deductions & credits

For 2017, that is not taxable income and should not be included as part of your box 1 wages.

It is not year clear to me if that changed for 2018, but this seems to be a W-2 you already have, so no problem.