Tidy up left over debugging code in ch12.