Properly erase/remove a DebuggerObserver

Is observers.erase(observer) not enough?