diff --git a/src/plugins/wp/ProverDetect.None.ml b/src/plugins/wp/ProverDetect.None.ml
index 0efa02d3015754e466f8e91e76d027c52f6b1425..771dbba1b78c3f20d1badda6328c86a58711393a 100644
--- a/src/plugins/wp/ProverDetect.None.ml
+++ b/src/plugins/wp/ProverDetect.None.ml
@@ -1,4 +1,3 @@
-# 1 "src/plugins/wp/ProverDetect.None.ml"
 (**************************************************************************)
 (*                                                                        *)
 (*  This file is part of WP plug-in of Frama-C.                           *)
@@ -21,6 +20,8 @@
 (*                                                                        *)
 (**************************************************************************)
 
+# 23 "src/plugins/wp/ProverDetect.None.ml"
+
 (* -------------------------------------------------------------------------- *)
 (* --- Prover Detection (no why3)                                         --- *)
 (* -------------------------------------------------------------------------- *)
diff --git a/src/plugins/wp/ProverDetect.Why3.ml b/src/plugins/wp/ProverDetect.Why3.ml
index 08f246fad4f92770b71bb465dbfcf9c9fe75a01f..ff6b33c6495288d882c3eb72ac9ae0cd01b8acc1 100644
--- a/src/plugins/wp/ProverDetect.Why3.ml
+++ b/src/plugins/wp/ProverDetect.Why3.ml
@@ -1,4 +1,3 @@
-# 1 "src/plugins/wp/ProverDetect.Why3.ml"
 (**************************************************************************)
 (*                                                                        *)
 (*  This file is part of WP plug-in of Frama-C.                           *)
@@ -21,6 +20,8 @@
 (*                                                                        *)
 (**************************************************************************)
 
+# 23 "src/plugins/wp/ProverDetect.Why3.ml"
+
 (* -------------------------------------------------------------------------- *)
 (* --- Why3 Prover Detection                                              --- *)
 (* -------------------------------------------------------------------------- *)
@@ -53,7 +54,7 @@ let detect () =
            dp_version = dp.prover_version ;
            dp_altern = dp.prover_altern ;
            dp_shortcuts = List.rev keys ;
-       } :: dps
+         } :: dps
       ) !index []
   in List.rev dps