Removed debugging printf() calls