So she can take the distribution under the plan provisions (apparently) AND, having separated from service after age 55 (voluntarily or otherwise), only needs to pay ordinary income taxes on the distribution.
Of course, in an ideal world, she would have the distribution rolled over directly to an IRA and have no immediate tax consequences whatsoever!!!