Fix json.h