diff --git a/12/pipeserver.js b/12/pipeserver.js
index d7bd5a4..fa7d5a8 100644
--- a/12/pipeserver.js
+++ b/12/pipeserver.js
@@ -1,6 +1,6 @@
 var ws_addr = 'wss://'+window.location.host+"/12/pipe",
     sock = null,
-    //shell = document.getElementById("shell"),
+    shell = document.getElementById("shell"),
     authors = document.getElementById("authors"),
     title = document.getElementById("title"),
     connections = document.getElementById("connections");