remove debugging printf's