Minor improvements to examples.