nit: EOF