Minor fix in example.