removed debugging printf call