Lots of small corrections in the examples.