revised lexer's regular expression documentation