added some debugging output