That makes sense. Since the excess after-tax (not Roth) contributions to the 401(k) were not eligible for rollover, they must be treated as regular contributions to the Roth IRA rather than rollover contributions and removed from the Roth IRA by return of contribution.
