It IS possible for an employee to contribute after-tax money to an HSA. Not saying that's what happened here but it can be done.