You do need to complete form 8889. if you don't the amount will be treated as taxable income and you won't be able to e-file. the form is in the same tab as the W-2 under less common income. The employer contributions will flow to line 9 of the form so you enter nothing on line 2
