Just added some debugging statements