fix JSON formatting in example