Minor tweak to some examples.