My IRA account has a bigger size than 401K, that's not an issue. Roth 401K will have book keeping issue too. The point is you can reduce your tax by invest in traditional tax.