remove some debugging prints