remove debugging printf statement