Small improvements to Chapter 4