Minor optimization in json_reader