bug fixes in example