Minor fixes in example