minor style changes for chapter 4