But if you had to pay tax on your 401k they could have taken it from that. From what I've been reading there are several reasons it could be short
