After you file

Box 12 code W is your HSA contribution.  Since that gets reported to the IRS on form 8889, I would say it does need to be amended, even though it should not change your tax owed.