dmertz
Level 15

Deductions & credits

Your filed 2017 Form 8889 will show only the $4,400 contributed for 2017.  The $3,350 is subtracted out on TurboTax's Form 8889 Line 9 Employer Contributions Smart Worksheet.