little fix in example