Yes, that is correct. I generally prefer to have my 401k all pre-tax (traditional) and my IRA post-tax (roth) to make it easier to manage. Also, this would open doors for backdoor roth IRA contribution once you go over the government's income limit for contributing to IRA, but this is a whole different topic.