diff --git a/web/text_highlighter.js b/web/text_highlighter.js
index a2b7d69a5..54b73540f 100644
--- a/web/text_highlighter.js
+++ b/web/text_highlighter.js
@@ -167,7 +167,7 @@ class TextHighlighter {
 
     function appendTextToDiv(divIdx, fromOffset, toOffset, className) {
       let div = textDivs[divIdx];
-      if (div.nodeType === 3) {
+      if (div.nodeType === Node.TEXT_NODE) {
         const span = document.createElement("span");
         div.parentNode.insertBefore(span, div);
         span.appendChild(div);
diff --git a/web/text_layer_builder.js b/web/text_layer_builder.js
index 2c7022c75..8f214c518 100644
--- a/web/text_layer_builder.js
+++ b/web/text_layer_builder.js
@@ -49,9 +49,7 @@ class TextLayerBuilder {
     this.textContentItemsStr = [];
     this.textContentStream = null;
     this.renderingDone = false;
-    this.pageIdx = pageIndex;
-    this.pageNumber = this.pageIdx + 1;
-    this.matches = [];
+    this.pageNumber = pageIndex + 1;
     this.viewport = viewport;
     this.textDivs = [];
     this.textLayerRenderTask = null;