Fixed bad compilation in Ch.9