Retirement tax questions

Paid back 13,668. No formal "form" . A letter from insurance co. saying we can claim overpayment if we file a 1040 not 1040ez