HSA "deduction"--I already reported what is showing in box 12 on W-2 for tax-free employer contributions. Would this not include what I had payroll deducted?