They need to call the heathcare.gov and see what they have on file for them, they may have signed up and been switched to Medicaid, but IRS sees something with their SSN (or another SSN on their return) from the marketplace, they need to find out whats out there.