diff --git a/edit/linter-report.js b/edit/linter-report.js
index 5450041b..27333358 100644
--- a/edit/linter-report.js
+++ b/edit/linter-report.js
@@ -105,8 +105,13 @@ var linterReport = (() => {
         tr.update(anno);
         i++;
       }
-      while (trs.length > i) {
-        trs.pop().element.remove();
+      if (i === 0) {
+        trs.length = 0;
+        tbody.textContent = '';
+      } else {
+        while (trs.length > i) {
+          trs.pop().element.remove();
+        }
       }
       table.classList.toggle('empty', trs.length === 0);