add further debugging output