Correction on termination problem on consolidation lexer