Debugger fixes

These are a few minor fixes for the debugger, removing some warnings and an useless operation.