Debugger: Minor formatting changes