diff --git a/ivette/src/frama-c/plugins/studia/studia.ts b/ivette/src/frama-c/plugins/studia/studia.ts
index 6045af5178af3a34a94d24dbfba64328b8f515b8..822447c7bb0eb4ca0d7ae444ddf03bc21ddad2f3 100644
--- a/ivette/src/frama-c/plugins/studia/studia.ts
+++ b/ivette/src/frama-c/plugins/studia/studia.ts
@@ -72,7 +72,7 @@ export function buildMenu(props: MenuProps) : void {
     if (marker && attrs)
       compute(marker, attrs.name, kind).then(update);
   }
-  if (attrs?.isLval) {
+  if (attrs?.isLval && !attrs?.isFunction) {
     const reads = 'Studia: select reads';
     const writes = 'Studia: select writes';
     menu.push({ label: reads, onClick: () => onClick('Reads') });