Once you start the amendment process you will return to the Retirement income section and review the 1099-R you entered and complete the questions in that section to indicate how much of the distribution you repaid.
Be aware that the amended return must be printed, ink signed and mailed in ... expect it to take 6 months or longer to process.