diff --git a/prototype/UI/index.html b/prototype/UI/index.html
index ffe06d93a..463b321d8 100644
--- a/prototype/UI/index.html
+++ b/prototype/UI/index.html
@@ -150,9 +150,7 @@
// forall a b. Syntax a -> (a -> b) -> Syntax b
Syntax.prototype.map = function(transform) {
- if (this.indexed != null) { return new Syntax(this, transform); }
- if (this.keyed != null) { return new Syntax(this, transform); }
- if (this.leaf != null) { return new Syntax(this, transform); }
+ return new Syntax(this, transform);
}
function diffFromJSON(json) {