Sounds like a prior year distribution that they defaulted on...not sure thats considered a Covid distribution.
