diff --git a/src/static/js/ace.js b/src/static/js/ace.js
index 7331d68d6..fdeadb795 100644
--- a/src/static/js/ace.js
+++ b/src/static/js/ace.js
@@ -257,9 +257,7 @@ function Ace2Editor()
pushRequireScriptTo(iframeHTML);
// Inject my plugins into my child.
iframeHTML.push('\
-\