diff --git a/prototype/UI/index.html b/prototype/UI/index.html
index a63cefda8..e4b83cbd4 100644
--- a/prototype/UI/index.html
+++ b/prototype/UI/index.html
@@ -72,10 +72,10 @@
         }
     }
 
-    function term(term, a, b) {
-        if (term.extract == null || term.unwrap == null) { return null; }
+    function term(json, a, b) {
+        if (json.extract == null || json.unwrap == null) { return null; }
 
-        return new Term(term.extract, syntax(term.unwrap, a, b, term));
+        return new Term(json.extract, syntax(json.unwrap, a, b, term));
     }
 
     function patch(patch, a, b) {