remove some overzealous debugging that cluttered the output