remove some debugging statements