Yes. She reported it on her return. If I remember right, I think I finally talked to someone at IRS and they instructed me to do that.
