--- a/doc-src/Nitpick/nitpick.tex Thu Feb 25 16:33:39 2010 +0100
+++ b/doc-src/Nitpick/nitpick.tex Fri Feb 26 16:49:46 2010 +0100
@@ -2743,8 +2743,8 @@
\item[$\bullet$] Although this has never been observed, arbitrary theorem
morphisms could possibly confuse Nitpick, resulting in spurious counterexamples.
-%\item[$\bullet$] All constants and types whose names start with
-%\textit{Nitpick}{.} are reserved for internal use.
+\item[$\bullet$] All constants, types, free variables, and schematic variables
+whose names start with \textit{Nitpick}{.} are reserved for internal use.
\end{enum}
\let\em=\sl