diff --git a/src/js/codemirror/ubo-static-filtering.js b/src/js/codemirror/ubo-static-filtering.js
index 475a3458d..5f647b748 100644
--- a/src/js/codemirror/ubo-static-filtering.js
+++ b/src/js/codemirror/ubo-static-filtering.js
@@ -752,6 +752,7 @@ CodeMirror.registerHelper('fold', 'ubo-static-filtering', (( ) => {
             const marker = extractMarker(lineHandle);
             if ( error === undefined && marker ) {
                 doc.setGutterMarker(lineHandle, 'CodeMirror-lintgutter', null);
+                deleteMarker();
             } else if ( error !== undefined ) {
                 makeMarker(doc, lineHandle, marker, error);
             }