remove debugging printf