Minor fix to syntax in example