removed some debugging prints