Fix broken compilation in Ch. 9