Remove TODO in debug.cpp.

More like a very minor possible improvement.