Fix the JSON examples