removed some debugging printing