diff -r 8c70a34931b1 -r 250fe9541fb2 doc-src/Nitpick/nitpick.tex
--- a/doc-src/Nitpick/nitpick.tex	Wed Feb 17 13:57:45 2010 +0100
+++ b/doc-src/Nitpick/nitpick.tex	Wed Feb 17 14:11:41 2010 +0100
@@ -2080,9 +2080,10 @@
 {\small See also \textit{mono} (\S\ref{scope-of-search}).}
 
 \opargbool{std}{type}{non\_std}
-Specifies whether the given type should be given standard models.
-Nonstandard models are unsound but can help debug inductive arguments,
-as explained in \S\ref{inductive-properties}.
+Specifies whether the given (recursive) datatype should be given standard
+models. Nonstandard models are unsound but can help debug structural induction
+proofs, as explained in \S\ref{inductive-properties}.
+%This option is not supported for the type \textit{nat}.
 
 \optrue{std}{non\_std}
 Specifies the default standardness to use. This can be overridden on a per-type