Minor tweaks to examples.