Small improvements to Chapter 3