Fixing a bug in the Lex class