Another bug in chapter 3