diff --git a/src/plugins/wp/doc/manual/wp_plugin.tex b/src/plugins/wp/doc/manual/wp_plugin.tex
index 148e1b6f3e058dc9eba5523325b642a4fd47d1ae..978329a251f9342875394b1f83e6f6dd4b093d33 100644
--- a/src/plugins/wp/doc/manual/wp_plugin.tex
+++ b/src/plugins/wp/doc/manual/wp_plugin.tex
@@ -263,9 +263,9 @@ proof session scripts directory (that can be configured using \verb+-wp-session+
 if such a directory already exists it is removed and created again.
 
 Then, each time WP uses a proof script, it is marked as used in the \verb+.marks+
-directory. In particular, it enables with the possibility to start the plugin
+directory. In particular, it is then possible to run WP
 several times to verify different parts of the code, yet marking the scripts for
-all these different parts.
+all those different parts.
 
 Once one is certain that the entire verification of the use case has been replayed
 for marking, the option \verb+-wp-finalize-scripts+ can be used to remove all