diff --git a/frontend/packages/dashboard/src/stream-worker.js b/frontend/packages/dashboard/src/stream-worker.js
index 06e46c34..166cc7eb 100644
--- a/frontend/packages/dashboard/src/stream-worker.js
+++ b/frontend/packages/dashboard/src/stream-worker.js
@@ -59,7 +59,7 @@ const PING_INTERVAL_MS = 30_000;
 setInterval(() => {
   for (const port of allPorts) {
     try { port.postMessage({ kind: 'ping' }); }
-    catch { /* port dead — cleanup happens lazily on next subscribe */ }
+    catch { /* port dead — left in the Set; see onconnect's closing comment */ }
   }
 }, PING_INTERVAL_MS);