Cleaned up a little the code of the specification lexer.