small adaption to debug output