[Chapter 7] a few edits