Minor touchups to wording in OTP chapter 2