1 files changed, 1 insertions, 1 deletions
diff --git a/doc/faq/FAQ.tex b/doc/faq/FAQ.tex
index 5806e9d72d..fba210c690 100644
--- a/doc/faq/FAQ.tex
+++ b/doc/faq/FAQ.tex
@@ -1644,7 +1644,7 @@ is a strong specification, using the
 \texttt{sumbool} type (look at the reference manual or chapter 9 of
 \cite{coqart}). Eliminations of the form
 ``~\texttt{case (le\_lt\_dec n p)}~'' provide proofs of
-either $n \leq p$ or $p < n$, allowing to prove easily theorems as in
+either $n \leq p$ or $p < n$, allowing easy proofs of some theorems as in
 question~\ref{minmax}. Unfortunately, this not the case of your
 \texttt{my\_le\_lt\_dec}, which returns a quite non-informative boolean
 value.