Deductions & credits

Yes, it appears that you did handle it correctly, the distributions do not have to be reported since there is no income or gain to be reported, and they do not have to wait for you to file. 

 

It appears as if you simply need to file your 1041 to report the sale proceeds (and basis to show there is no gain).