Minor edits in examples.