Sounds like you got ProSeries to "unglitch" (yay!) and anything else at this point is purely academic.  I'll direct the discussion to IRS Pub 969:

https://www.irs.gov/pub/irs-pdf/p969.pdf

On page 7 under "Rules for married people":

"If both spouses are 55 or older and not enrolled in Medicare, each spouse’s contribution limit is increased by the additional contribution. If both spouses meet the age requirement, the total contributions under family coverage can’t be more than $9,000. Each spouse must make the additional contribution to his or her own HSA."

Rick