diff --git a/prototype/UI/index.html b/prototype/UI/index.html
index da8c61ea8..440e3fe15 100644
--- a/prototype/UI/index.html
+++ b/prototype/UI/index.html
@@ -57,6 +57,12 @@
         return this;
     }
 
+    function Term(range, syntax) {
+        this.range = range;
+        this.syntax = syntax;
+        return this;
+    }
+
     function toDOM(view) {
         if (view instanceof Delete) {
             var element = document.createElement("div");