minor improvement of debug info