it seems SLexer was incorrect