Minor fixes in the example output