Minor corrections to examples.