Retirement tax questions

Thank you.  That explains it.  So, since our payroll service has already issued the W2's for the 2018 tax year, I assume we would need to have them file revised / corrected W2's after we have made the 401k contributions.