diff --git a/ivette/src/dome/renderer/frame/sidebars.tsx b/ivette/src/dome/renderer/frame/sidebars.tsx
index 443f786a94e52c1f877359c7dbe186cac848f27f..f199904ad3f05be3ecaa77763274ca98f4788a8d 100644
--- a/ivette/src/dome/renderer/frame/sidebars.tsx
+++ b/ivette/src/dome/renderer/frame/sidebars.tsx
@@ -134,7 +134,7 @@ export function Section(props: SectionProps): JSX.Element | null {
   const icon = state ? 'TRIANGLE.DOWN' : 'TRIANGLE.RIGHT';
 
   const { enabled = true, disabled = false, children } = props;
-  if (disabled || !enabled) return null;
+  if (disabled || !enabled || React.Children.count(children) === 0) return null;
 
   const visible = unfold ?? state;
   const maxHeight = visible ? 'max-content' : 0;
diff --git a/ivette/src/frama-c/kernel/Globals.tsx b/ivette/src/frama-c/kernel/Globals.tsx
index 679aa6a593582e7c97f6ccd051d4d671f1907ead..48b87b105ab62482146c9c86edd8cd9909bc8be1 100644
--- a/ivette/src/frama-c/kernel/Globals.tsx
+++ b/ivette/src/frama-c/kernel/Globals.tsx
@@ -184,7 +184,7 @@ export default function Globals(): JSX.Element {
 
   const filterButtonProps = {
     icon: 'TUNINGS',
-    title: 'Functions filtering options',
+    title: `Functions filtering options (${nFilter} / ${nTotal})`,
     onClick: onContextMenu,
     visible: !(onContextMenu === undefined),
     className: 'dome-xSideBarSection-filterButton'