diff --git a/UI/WebServerResources/dtree.js b/UI/WebServerResources/dtree.js
index 5ad0d944e..b2c3143b2 100644
--- a/UI/WebServerResources/dtree.js
+++ b/UI/WebServerResources/dtree.js
@@ -9,9 +9,10 @@
   | Updated: 17.04.2003                               |
   |--------------------------------------------------*/
 
+/* The content of attribute values should be quoted properly by using the
+   equivalent entities. */
 function dTreeQuote(str) {
     return (str
-            .replace(/\\/g, "\\\\")
             .replace(/\"/g, """)
             .replace(/\'/g, "'"));
 }
@@ -109,7 +110,6 @@ dTree.prototype = {
 
     // Outputs the tree to the page
     toString: function() {
-        log("toString invoked");
         var str = '<div class="dtree" id="' + this.obj + '">\n';
         if (document.getElementById) {
             if (this.config.useCookies)
@@ -122,7 +122,6 @@ dTree.prototype = {
         return str;
     },
     valueOf: function() {
-        log("valueOf invoked");
         return this.toString();
     },