some debugging statements