diff --git a/src/plugins/wp/Makefile.in b/src/plugins/wp/Makefile.in
index 7f810fa98dbf37ddf6a6c9f0e720b3e80d646042..e746e10b60001afe004937150442acd0eefd39ba 100644
--- a/src/plugins/wp/Makefile.in
+++ b/src/plugins/wp/Makefile.in
@@ -117,6 +117,8 @@ PLUGIN_DISTRIBUTED:=$(PLUGIN_ENABLE)
 PLUGIN_DISTRIB_EXTERNAL:= \
 	Changelog \
 	Makefile.in \
+	ProverDetect.Why3.ml \
+	ProverDetect.None.ml \
         MakeAPI \
 	configure.ac \
 	configure \
diff --git a/src/plugins/wp/configure.ac b/src/plugins/wp/configure.ac
index dcdb934f56e4d4171a5eda6474d5a0a52196813c..706451a1ab2c3d712a0c0f8d3e8f5a3b8e8b00da 100644
--- a/src/plugins/wp/configure.ac
+++ b/src/plugins/wp/configure.ac
@@ -117,7 +117,7 @@ if test "$ENABLE_WP" != "no"; then
         WHY3API="yes"
         ;;
     *)
-        AC_MSG_RESULT(why3 api not found (no why3-provers))
+        AC_MSG_RESULT(why3 api not found (no why3 prover detection))
         WHY3API="no"
         ;;
   esac