removed some debugging traces so that console output is cleaner