minor fixes to json format