Fix bad syntax in example