1 files changed, 1 insertions, 0 deletions

diff --git a/src/shell.html b/src/shell.html
index a41086b9..2f34ace3 100644
--- a/src/shell.html
+++ b/src/shell.html
@@ -19,6 +19,7 @@
         print: (function() {
           var element = document.getElementById('output');
           return function(text) {
+            text = text.replace(/&/g, "&");
             text = text.replace(/</g, "&lt;");
             text = text.replace(/>/g, "&gt;");
             text = text.replace('\n', '<br>', 'g');