diff --git a/prototype/UI/index.html b/prototype/UI/index.html
index 856b5e30e..dc339c26a 100644
--- a/prototype/UI/index.html
+++ b/prototype/UI/index.html
@@ -75,6 +75,8 @@
     loadJSON('diff.json', function (json) {
         document.getElementById("before").textContent = json.a;
         document.getElementById("after").textContent = json.b;
+
+        syntax(json["diff"]);
     });
     </script>
   </body>