minor change at DEBUG-output