removed some debugging printing code