Remove some debugging printf() calls.