diff --git a/ivette/src/frama-c/plugins/eva/valuetable.tsx b/ivette/src/frama-c/plugins/eva/valuetable.tsx
index 8ac37bf297b462a59fc76a6b93869b63138b7c26..fe94d084ce0781f2b9fe80521becd1ae1677b2e7 100644
--- a/ivette/src/frama-c/plugins/eva/valuetable.tsx
+++ b/ivette/src/frama-c/plugins/eva/valuetable.tsx
@@ -177,7 +177,7 @@ function useEvaluationCache(): Request<[ Location, callstack ], Evaluation> {
     return `${l.fct}:${l.target}:${c}`;
   }, []);
   const get: Request<LocStack, Evaluation> = React.useCallback(([ l, c ]) => {
-    const callstack = c === 'Summary' ? undefined : c as Values.callstack;
+    const callstack = c === 'Summary' ? undefined : c;
     return Server.send(Values.getValues, { ...l, callstack });
   }, []);
   return Dome.useCache(get, toString);