Fix json format in example