That's correct. My (maybe irrational) concern is putting the lump sum back in the market via the 401k when it might be due for a little pullback.