Retirement tax questions

It depends upon how your employer chooses to handle this. They might issue a corrected 2018 W-2, or do something  else instead. Post back once they take care of it.
It's also not clear whether it's just the W-2 that is wrong, or if her employer actually failed to take out those amounts all year.