Not if his income is too high.

He may have received an employer contribution or allocation of forfeitures making the retirement plan box correct.

Otherwise he would have to get the employer to correct the W-2.

EDIT: He may also have been eligible to have some of that severance pay contributed to the 401(k).