Yes, you will indicate the $13,500 was the distribution and then that it was rolled over. Since the income is no longer taxable income, you will have paid in a penalty that no longer applies. It will be lumped in with all your withholding. Since you no longer have the income, you "should" get it all back, assuming there is no other income that is counted against it.
Edited 2/14/2023
