Tidy up the JSON lexer.