bug fix in example