diff --git a/edit/lint.js b/edit/lint.js
index a91622a9..05414293 100644
--- a/edit/lint.js
+++ b/edit/lint.js
@@ -189,7 +189,7 @@ function updateLinter({immediately} = {}) {
   });
   $('#linter-settings').style.display = !linter ? 'none' : 'inline-block';
   if (!linter) {
-    $('#lint > div').textContent = '';
+    $('#lint').style.display = 'none';
   }
 }