put in some debugging statements