Fixing output of debug info