Retirement tax questions

Yes, the excess contribution will be resolved by his 2020 earned income, so one more 5329 next year.