Fixing syntax in example