removed debugging printf(s)