Fixes for chapter 1, section 1.4.3.