Retirement tax questions

OK, so I qualify for Covid IRA withdrawal, and I can pay it back this year.   I guess I have to file an amended return?  Does that mean I just have to mail in a form indicating that I've paid back the distribution and want a refund for the taxed withdrawal?