diff --git a/edit/global-search.js b/edit/global-search.js
index 4b35e651..7e376c32 100644
--- a/edit/global-search.js
+++ b/edit/global-search.js
@@ -791,6 +791,7 @@ onDOMready().then(() => {
 
 
   function showTally(num, numApplies) {
+    if (!state.tally) return;
     if (num === undefined) {
       num = 0;
       for (const cm of state.editors) {