diff --git a/ivette/src/frama-c/kernel/SourceCode.tsx b/ivette/src/frama-c/kernel/SourceCode.tsx
index b8836c215b3d7b8c6462b16796fc3f97a3f1d106..f02df8104dfff596fe401477fad8a729e5e1ba3b 100644
--- a/ivette/src/frama-c/kernel/SourceCode.tsx
+++ b/ivette/src/frama-c/kernel/SourceCode.tsx
@@ -87,7 +87,7 @@ export default function SourceCode() {
   const errorMsg = () => { D.error(`Fail to load source code file ${file}`); };
   const onError = () => { if (file) errorMsg(); };
   const setValue = (text: string) => buffer.setValue(text);
-  const setCursor = () => buffer.forEach((cm) => cm.setCursor(line - 1));
+  const setCursor = () => buffer.setCursorOnTop(line);
   const text = React.useMemo(() => readFile(file), [file]);
   Dome.usePromise(text.then(setValue).then(setCursor).catch(onError));