adds some debugging output