Fix syntax in example