minor fixes in example