Small fixies in Chapter 3