Fix invalid JSON in example.