Bug fix in example and wording tweaks