Added some debugging statements