From b3dfee8fc04ea2818a1d87674baab72d9ffa8605 Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@github.com>
Date: Fri, 23 Oct 2015 20:51:31 -0400
Subject: [PATCH] Terminate.

---
 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 92f36fcc8..b97b6b87b 100644
--- a/prototype/UI/index.html
+++ b/prototype/UI/index.html
@@ -75,7 +75,7 @@
     }
 
     function termFromJSON(json) {
-        return new Term({ extract: json.extract, unwrap: new Syntax(json.unwrap, function(x) { return termFromJSON(json); }) });
+        return new Term({ extract: json.extract, unwrap: new Syntax(json.unwrap, function(x) { return termFromJSON(x); }) });
     }
 
     function Term(object) {