He didn't. The extra amount is the company contributions to the HSA. But they were on the 1/8/24 paycheck. The company/school added them to the W2. It was perhaps subtracted from the salary for the year, but we didn't look at that.
