CTI: Making after-tax 401(k) contributions