removed debugging printf statements