diff --git a/ivette/src/frama-c/kernel/Globals.tsx b/ivette/src/frama-c/kernel/Globals.tsx
index 10b3715ec196d3cfe7f5544bde0ea9e19316f2b9..a9d73184eb74e3f5516aca3a010e846ea3201ee6 100644
--- a/ivette/src/frama-c/kernel/Globals.tsx
+++ b/ivette/src/frama-c/kernel/Globals.tsx
@@ -208,7 +208,7 @@ export default function Globals(): JSX.Element {
       },
       'separator',
       {
-        label: 'Show intern functions',
+        label: 'Show non-extern functions',
         checked: intern,
         onClick: flipIntern,
       },