That is the only option. If you just file with the incorrect amounts the IRS will catch it at some point and contact you to get it corrected. Probably will take a year of so, but they will contact you eventually. The best thing to do is contact the employer and get it corrected before you file.
