From 865dbe2eedbf158c3c7960831c09a4eefbe0838f Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@github.com>
Date: Fri, 23 Oct 2015 21:19:25 -0400
Subject: [PATCH] Mapping into null is a bad idea.

---
 prototype/UI/index.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/prototype/UI/index.html b/prototype/UI/index.html
index 1a8be2296..8656be8c7 100644
--- a/prototype/UI/index.html
+++ b/prototype/UI/index.html
@@ -220,10 +220,10 @@
     loadJSON('diff.json', function (json) {
         var diff = diffFromJSON(json.diff);
         var before = diff.map(function(value) {
-            return value.before != null ? termToDOM(value.before, "before", json["before"]) : null;
+            return value.before != null ? termToDOM(value.before, "before", json["before"]) : "";
         });
         var after = diff.map(function(value) {
-            return value.after != null ? termToDOM(value.after, "after", json["after"]) : null;
+            return value.after != null ? termToDOM(value.after, "after", json["after"]) : "";
         });
         document.getElementById("before").appendChild(diffToDOM(before, "before", json["before"]));
         document.getElementById("after").appendChild(diffToDOM(after, "after", json["after"]));