fix in example (refinement)