diff --git a/src/css/devtool-log.css b/src/css/devtool-log.css
index d4a21e0b9..154e2d841 100644
--- a/src/css/devtool-log.css
+++ b/src/css/devtool-log.css
@@ -1,7 +1,7 @@
 body {
     border: 0;
     box-sizing: border-box;
-    font: 11px monospace;
+    font: 12px monospace;
     margin: 0;
     overflow-x: hidden;
     padding: 0;
@@ -58,11 +58,12 @@ body {
     border-right: none;
     width: 75%;
     }
+#content table tr td:nth-of-type(3) b {
+    font-weight: normal;
+    }
 #content table tr.blocked td:nth-of-type(3) b {
     background-color: rgba(192, 0, 0, 0.2);
-    font-weight: normal;
     }
 #content table tr.allowed td:nth-of-type(3) b {
     background-color: rgba(0, 160, 0, 0.2);
-    font-weight: normal;
     }
\ No newline at end of file
diff --git a/src/js/pagestore.js b/src/js/pagestore.js
index ec887cd60..24cb3ecb4 100644
--- a/src/js/pagestore.js
+++ b/src/js/pagestore.js
@@ -309,6 +309,7 @@ NetFilteringResultCache.prototype.dispose = function() {
         clearTimeout(this.timer);
         this.timer = null;
     }
+    this.boundPruneAsyncCallback = null;
     if ( netFilteringCacheJunkyard.length < netFilteringCacheJunkyardMax ) {
         netFilteringCacheJunkyard.push(this);
     }