diff --git a/src/plugins/wp/doc/manual/wp_plugin.tex b/src/plugins/wp/doc/manual/wp_plugin.tex
index 3f7683d84bd9c1575ea3333a47e93a00e47d7cd0..1c499de95da053321f67b36cb1fdf8ee49acd4e8 100644
--- a/src/plugins/wp/doc/manual/wp_plugin.tex
+++ b/src/plugins/wp/doc/manual/wp_plugin.tex
@@ -456,7 +456,7 @@ $G(n) \equiv P(n)\Longrightarrow\,Q(n)$:
 \begin{array}[t]{lll}
 \Delta', & n = b & \models G(n) \\
 \Delta',\; \forall i,\, b \leq i < n \Longrightarrow G(i) \;& \models G(n) \\
-\Delta', G(k), & n < i \leq b & \models G(n)
+\Delta',\; \forall i,\, n < i \leq b \Longrightarrow G(i) \; &  & \models G(n)
 \end{array}} \]
 
 \paragraph{Overflow} Integer Conversions \\