small fix of debug output