using the amount you could be contributing for 2020 to "work off" your excess is the easiest solution !
He must have earned income of at least $3164 to resolve it completely.
See Form 5329 Part III .
