If I manually add the employee deductible contributions to the 8889, then I think that I will be overstating the total contributions.
