added some debugging