FIX #3153: we lost an EOF sentinel in the event of a lexical error