removed debugging printf