Lots of little fixes, plus chapter 9 example.

Bah.  Fix the indentation throughout the file...