Had she taken a loan from the 401K then it wouldn't be taxable unless she defaulted on the loan.  But if a 1099R was issued, then it wasn't a loan.