Some improvements to Debugger message support