Burrito corrections for chapter 4