Tweaks to examples