Turbo Tax Reporting You have a W-2c coming - deferred Social Security Taxes

I've never seen this message before; I'm trying to file my son's taxes, but it's reporting "You have a W-2c coming ... since you've deferred some of your Social Security taxes last year...you'll get Form W-2c from your employer once you've repaid what you deferred".  This may have been because he's essential and his employer paid a Covid19 "hero pay", but shouldn't they have taken out the SS taxes?

 

Does anyone have experience with this?