Deductions & credits

We both had HDHP coverage all year. She had no Medicare coverage and no excess contributions from 2019.

Her employer contribution was $3730. I am over 65 so I think I see that her additional contribution is limited to  $8100 minus $3730. Is that right?