Comment out debugging printf() call