removed extraneous debugging printf