fix minor bug in json format