"he has to withdraw the "excess""
It wasn't an Excess contribution to Roth; it was a conversion. A failed conversion, as in, not allowed; because the Traditional IRA contribution was excess.
I found this article for you:
https://www.thetaxadviser.com/issues/2020/apr/correcting-excess-contributions-iras.html
*******************************
Don't yell at us; we're volunteers
