Are you sure the loan was discharged? I understand loans against 401K plans to be nondischargeable. Check with your lawyer.