diff --git a/src/kernel_internals/runtime/fc_config.ml.in b/src/kernel_internals/runtime/fc_config.ml.in
index 0af5c88cdb25c2e9a7259d361ee94ff200bd6142..b7980cdeba96e77af39ef763d274546e3a3c148f 100644
--- a/src/kernel_internals/runtime/fc_config.ml.in
+++ b/src/kernel_internals/runtime/fc_config.ml.in
@@ -20,7 +20,7 @@
 (*                                                                        *)
 (**************************************************************************)
 
-# 24 "src/kernel_internals/runtime/config.ml.in"
+# 24 "src/kernel_internals/runtime/fc_config.ml.in"
 
 let version = "@VERSION@"
 let codename = "@VERSION_CODENAME@"