Finished the manual coding for chapter 9, and cleaned up some residual
problems in other chapters.