Minor typesetting changes for chapter 6.