Minor changes in examples.