Remove some debugging printf() calls I left in accidentally in r1282.