What is the IRC 1341 repayment credit in layman's terms?