From 17877c7f367da019e700a95203dd0ad0a8f4ed49 Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@github.com>
Date: Wed, 21 Oct 2015 15:58:55 -0400
Subject: [PATCH] Construct new terms.

---
 prototype/UI/index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prototype/UI/index.html b/prototype/UI/index.html
index 440e3fe15..8cdc1abc6 100644
--- a/prototype/UI/index.html
+++ b/prototype/UI/index.html
@@ -75,7 +75,7 @@
     function term(term, a, b) {
         if (term.extract == null || term.unwrap == null) { return null; }
 
-        return syntax(term.unwrap, a, b, term);
+        return new Term(term.extract, syntax(term.unwrap, a, b, term));
     }
 
     function patch(patch, a, b) {