add some debugging output