diff --git a/www/common/TextPatcher.js b/www/common/TextPatcher.js
index 83bfedc48..a5d9b9d01 100644
--- a/www/common/TextPatcher.js
+++ b/www/common/TextPatcher.js
@@ -120,8 +120,8 @@ var create = function(config) {
     });
 
     // propogate()
-    return function (newContent) {
-        if (newContent !== content) {
+    return function (newContent, force) {
+        if (newContent !== content || force) {
             applyChange(ctx, ctx.getUserDoc(), newContent, logging);
             if (ctx.getUserDoc() !== newContent) {
                 console.log("Expected that: `ctx.getUserDoc() === newContent`!");