What tax form is issued for scholarships?

The IRS absolutely would not have corrected it. Their matching system doesn’t care about scholarships. And if they did catch it, they’d have complained about it not being on the Wages line.