minor changes of debug output