401(k) distributions are properly categorized as pension distributions as defined in the tax code. A 401(k) is not an IRA.
