diff --git a/headers/header_spec.txt b/headers/header_spec.txt
index cd2456b073a6be3ceecfba5391d6978784c01ee0..f36b4c666fe1549471f19241582b56a74e089abe 100644
--- a/headers/header_spec.txt
+++ b/headers/header_spec.txt
@@ -1660,8 +1660,6 @@ src/plugins/wp/Why3Provers.mli: CEA_WP
 src/plugins/wp/Wp.mli: .ignore
 src/plugins/wp/WpTac.ml: CEA_WP
 src/plugins/wp/WpTac.mli: CEA_WP
-src/plugins/wp/WpTarget.ml: CEA_WP
-src/plugins/wp/WpTarget.mli: CEA_WP
 src/plugins/wp/calculus.ml: CEA_WP
 src/plugins/wp/calculus.mli: CEA_WP
 src/plugins/wp/cfgDump.ml: CEA_WP
@@ -1822,6 +1820,8 @@ src/plugins/wp/wpRTE.ml: CEA_WP
 src/plugins/wp/wpRTE.mli: CEA_WP
 src/plugins/wp/wpStrategy.ml: CEA_WP
 src/plugins/wp/wpStrategy.mli: CEA_WP
+src/plugins/wp/wpTarget.ml: CEA_WP
+src/plugins/wp/wpTarget.mli: CEA_WP
 src/plugins/wp/wp_error.ml: CEA_WP
 src/plugins/wp/wp_error.mli: CEA_WP
 src/plugins/wp/wp_parameters.ml: CEA_WP
diff --git a/src/plugins/wp/Makefile.in b/src/plugins/wp/Makefile.in
index f4d84ab492ac2b2f55021f0cff8210752ab97293..5264a1b2cfd1fc5cfc5cab6614f82a2bb023c86c 100644
--- a/src/plugins/wp/Makefile.in
+++ b/src/plugins/wp/Makefile.in
@@ -81,7 +81,7 @@ PLUGIN_CMO:= \
 	Sigma MemLoader \
 	MemEmpty MemZeroAlias MemVar \
 	MemMemory MemTyped MemRegion \
-	wpReached wpRTE wpAnnot WpTarget \
+	wpReached wpRTE wpAnnot wpTarget \
 	CfgCompiler StmtSemantics \
 	VCS script proof wpo wpReport \
 	Footprint Tactical Strategy \
diff --git a/src/plugins/wp/WpTarget.ml b/src/plugins/wp/wpTarget.ml
similarity index 100%
rename from src/plugins/wp/WpTarget.ml
rename to src/plugins/wp/wpTarget.ml
diff --git a/src/plugins/wp/WpTarget.mli b/src/plugins/wp/wpTarget.mli
similarity index 100%
rename from src/plugins/wp/WpTarget.mli
rename to src/plugins/wp/wpTarget.mli