diff --git a/types/filterfunctions.html b/types/filterfunctions.html
index b810adf3..4bd183f1 100644
--- a/types/filterfunctions.html
+++ b/types/filterfunctions.html
@@ -123,6 +123,7 @@
             break;
           default:
             console.error("Unknown filter set");
+        }
       }
 
       function setDiv(filter) {