diff --git a/prototype/UI/index.html b/prototype/UI/index.html
index 42c11acd7..f9ec2f8c0 100644
--- a/prototype/UI/index.html
+++ b/prototype/UI/index.html
@@ -144,7 +144,7 @@
function Syntax(json, continuation) {
if (json.indexed != null) { this.indexed = json.indexed.map(continuation); }
if (json.keyed != null) { this.keyed = (new Dictionary(json.keyed)).map(continuation); }
- if (json.leaf != null) { this.leaf = json; }
+ if (json.leaf != null) { this.leaf = json.leaf; }
return this;
}