1.1 --- a/doc-src/Nitpick/nitpick.tex	Tue Feb 23 12:14:46 2010 +0100
     1.2 +++ b/doc-src/Nitpick/nitpick.tex	Tue Feb 23 14:11:36 2010 +0100
     1.3 @@ -1910,7 +1910,7 @@
     1.4  (\S\ref{output-format}).}
     1.5  
     1.6  \optrue{assms}{no\_assms}
     1.7 -Specifies whether the relevant assumptions in structured proof should be
     1.8 +Specifies whether the relevant assumptions in structured proofs should be
     1.9  considered. The option is implicitly enabled for automatic runs.
    1.10  
    1.11  \nopagebreak