Removed some debugging prints