HotKey.destroy js error

When calling HotKey.destroy(), I get the following error. This is because it should be HotKey.hotkeys.without(this) on the RHS (no "Control.")

Attached one-line patch.

Firebug traceback below:

Control.HotKey is undefined destroy()()hotkey.js (line 55) afterClose()()Goonmill (line 917) notify()("afterClose")livepipe.js (line 85) close()(true)control.modal.js (line 437) (?)()(keydown charCode=0, keyCode=27)Goonmill (line 908) handler()(keydown charCode=0, keyCode=27)hotkey.js (line 38) (?)()()prototype.js (line 209) wrapper()()livepipe.js (line 157) [Break on this error] HotKey.hotkeys = Control.HotKey.hotkeys.without(this);