diff --git a/ivette/src/frama-c/server.ts b/ivette/src/frama-c/server.ts
index e1c13d0a88328ce0aca45e013ca2ef60ea24de3b..986a69a6695b861c487abe11278b056cec1458f7 100644
--- a/ivette/src/frama-c/server.ts
+++ b/ivette/src/frama-c/server.ts
@@ -401,7 +401,7 @@ export interface Configuration {
   command?: string;
   /** Additional server arguments (default: empty). */
   params: string[];
-  /** Server socket (default: `ipc:///tmp/frama-c.<pid>.io`). */
+  /** Server socket (default: `ipc:///tmp/ivette.frama-c.<pid>.io`). */
   sockaddr?: string;
   /** Shutdown timeout before server is hard killed, in milliseconds
    *  (default: 300ms). */