Thanks for the responses. I think I'll file and amend as necessary; I don't want issues with the state returns, and I think if I entered something that didn't match what's reported, it would just create more trouble. It's fair that one should contact the employer as soon as one sees a problem. But for someone who isn't a tax professional, a wrong box 12c isn't something that necessarily jumps out at you. The seasoned HR professionals didn't catch it, and I'm sure if any of the thousands of people who work there (many of whom probably have the same error) had caught it on theirs, they would have notified everyone and fixed it.
