Another round of edits for Chapter 9.5