Minor corrections in the examples.