fix JSON syntax