Small changes to Debugger index.html