diff --git a/prototype/UI/index.html b/prototype/UI/index.html
index 1371c9500..35c4efde5 100644
--- a/prototype/UI/index.html
+++ b/prototype/UI/index.html
@@ -51,6 +51,12 @@
         return node;
     }
 
+    function patch(patch) {
+        if (patch.delete != null) { return new Delete(patch.delete); }
+        if (patch.insert != null) { return new Insert(patch.insert); }
+        if (patch.replace != null) { return new Replace(patch.replace.before, patch.replace.after); }
+    }
+
     function Delete(before) {
         this.before = new Term(before);
         return this;
@@ -187,12 +193,6 @@
         return element;
     }
 
-    function patch(patch) {
-        if (patch.delete != null) { return new Delete(patch.delete); }
-        if (patch.insert != null) { return new Insert(patch.insert); }
-        if (patch.replace != null) { return new Replace(patch.replace.before, patch.replace.after); }
-    }
-
     function Indexed(array, continuation) {
         this.values = [];
         for (index in array) {