1.1 --- a/doc-src/Nitpick/nitpick.tex	Fri Feb 12 19:44:37 2010 +0100
     1.2 +++ b/doc-src/Nitpick/nitpick.tex	Fri Feb 12 21:27:06 2010 +0100
     1.3 @@ -1369,7 +1369,7 @@
     1.4  
     1.5  \prew
     1.6  \slshape
     1.7 -Hint: To check that the induction hypothesis is general enough, try the following command:
     1.8 +Hint: To check that the induction hypothesis is general enough, try this command:
     1.9  \textbf{nitpick}~[\textit{non\_std} ``${\kern1pt'a}~\textit{bin\_tree}$'', \textit{show\_consts}].
    1.10  \postw
    1.11