Minor edit in examples.