Incorrect non-deductible IRA contribution submitted

When preparing our joint 2023 tax return in TT, I indicated that each of my wife and I made non-deductible IRA contributions of $7500 each for 2023, thus increasing our basis.  Unfortunately, I just discovered that her contribution never went through, and the return was already e-Filed.

 

Do I have to do anything to correct this, or does she just make her non-deductible $8000 2024 contribution now and only enter $500 for the contribution amount in next year's tax return, thus correcting the basis?

 

Thanks.