diff --git a/www/html-patcher.js b/www/html-patcher.js
index 9d80eff65..3ac77d154 100644
--- a/www/html-patcher.js
+++ b/www/html-patcher.js
@@ -460,7 +460,7 @@ define([
             throw new Error();
         }
         try {
-            applyHTMLOp(docText, op, dom, rangy, ifrWindow);
+            applyHTMLOpHammer(docText, op, dom, rangy, ifrWindow);
             var result = patchString(docText, op.offset, op.toRemove, op.toInsert);
             var innerHTML = getInnerHTML(dom);
             if (result !== innerHTML) {