fix JSON formatting