diff -r 956d08ec5d65 -r 450ab945c451 doc-src/Nitpick/nitpick.tex
--- a/doc-src/Nitpick/nitpick.tex	Tue Feb 23 12:14:46 2010 +0100
+++ b/doc-src/Nitpick/nitpick.tex	Tue Feb 23 14:11:36 2010 +0100
@@ -1910,7 +1910,7 @@
 (\S\ref{output-format}).}
 
 \optrue{assms}{no\_assms}
-Specifies whether the relevant assumptions in structured proof should be
+Specifies whether the relevant assumptions in structured proofs should be
 considered. The option is implicitly enabled for automatic runs.
 
 \nopagebreak