If the payoff was too late and this is taxable, then the payoff amount is added to the Basis of his 401k (which means that future withdrawals will only be partially taxable).
