Yet more Ex. 4 debugging