Add some debugging statements