Remove some debugging statements