Retirement tax questions

I believe the employer is supposed to check Box 13 if the 401k plan was available, but the employee can be considered not covered by a retirement plan for IRA deductability purposes