IRA or 401k, because you and the IRS received the same form, you have to report it. You can report the amount paid back as a contribution/deduction but personally, I would talk to HR and try to get an accurate 1099-R. The way it looks to the IRS right as that you took money out of your 401k and that's it.
