remove some debugging printfs