Slight changes to debugger UI