Minor fix in the example.