diff --git a/servlet-htdocs/evaluator.js b/servlet-htdocs/evaluator.js
index ea1dd3d..8f1a139 100644
--- a/servlet-htdocs/evaluator.js
+++ b/servlet-htdocs/evaluator.js
@@ -446,7 +446,6 @@ var Evaluator = (function() {
         } else {
             this.structuredError = undefined;
         }
-        console.log(this);
     };
 
 
diff --git a/servlet-htdocs/main.js b/servlet-htdocs/main.js
index 6c9c004..5f78c4c 100644
--- a/servlet-htdocs/main.js
+++ b/servlet-htdocs/main.js
@@ -53,8 +53,7 @@ var reportError = function(exn) {
     domElt.style['color'] = 'red';
 
     if (exn.domMessage) {
-	   domElt.appendChild(exn.domMessage);
-       console.log(exn.structuredError);
+	domElt.appendChild(exn.domMessage);
     } else {
 	domElt.appendChild(document.createTextNode(evaluator.getMessageFromExn(exn)+""));
     }