Various debugger minor improvements