Minor fix in example