Optimized find_json_token() slightly, squashed warning, thanks to Vladimir.