small fix in example