Retirement tax questions

It is a small-ish company. They took out all other withholdings correctly.  She was on a work visa but her status was adjusted last year to a marriage visa.  The employer has said that this was a mistake.