diff --git a/lib/ace/edit_session.js b/lib/ace/edit_session.js
index bc3999c4..92b79861 100644
--- a/lib/ace/edit_session.js
+++ b/lib/ace/edit_session.js
@@ -356,6 +356,8 @@ var EditSession = function(text, mode) {
             this.$worker.terminate();
             this.$worker = null;
         }
+
+        this.$useWorker = useWorker;
     };
 
     this.getUseWorker = function() {
diff --git a/lib/ace/keyboard/textinput.js b/lib/ace/keyboard/textinput.js
index 2ecb1b6e..03120a35 100644
--- a/lib/ace/keyboard/textinput.js
+++ b/lib/ace/keyboard/textinput.js
@@ -21,6 +21,7 @@
  *
  * Contributor(s):
  *      Fabian Jakobs <fabian AT ajax DOT org>
+ *      Mihai Sucan <mihai DOT sucan AT gmail DOT com>
  *
  * Alternatively, the contents of this file may be used under the terms of
  * either the GNU General Public License Version 2 or later (the "GPL"), or