The after-tax funds only add to you basis in nondeductible traditional IRA contributions if you roll the 401(k) over to a traditional IRA. Otherwise, the after-tax funds in your 401(k) have no bearing on your distributions from your traditional IRAs because a 401(k) is not an IRA.
