Little fix in example