some additional debugging output