Small tweaks to examples