[Chapter 6] fix a couple of errors