remove debugging printf statements, all should be fine now