"a portion of the distribution was also put back into the retirement account."
In which year?
And reporting it all in 2020 as amended means changing their AGI. That can affect other credits and trigger IRMAA.
*******************************
Don't yell at us; we're volunteers
