Yes, that's what it shows. And CoveredCA told him they paid the subsidy to the insurance company and that the 1095A was correct.
