Minor optimization in json_get_value(). We're memory-constrained, so every byte counts!