Tweak examples to please Travis ...