@Basin look at last years 8915-C, but if you claimed additional income equal to the total distribution on the corresponding 1099, and added it to all other income, and paid tax on the entire additional amount, then you are good to go
