small bug in json