Look at Form 8889.  Does it show a TOTAL of $7100 of contributions, or does it show more than that?

Does the 8889 have the "family" boxes checked?

Were the HSA contributions made through the employer (Code "W" in Box 12 of the W-2), or were they made outside of the employer?  Make sure you don't indicate she made non-employer contributions if they were all made through her employer.