--- a/src/Doc/Nitpick/document/root.tex Mon Jan 20 19:51:56 2014 +0100
+++ b/src/Doc/Nitpick/document/root.tex Mon Jan 20 19:53:10 2014 +0100
@@ -2900,7 +2900,8 @@
supported.
\item[\labelitemi] Codatatypes defined using \textbf{codatatype} that
-involve nested recursion through non-codatatypes are not supported.
+involve nested recursion through non-codatatypes are not properly supported
+and may result in spurious counterexamples.
\item[\labelitemi] The \textit{nitpick\_xxx} attributes and the
\textit{Nitpick\_xxx.register\_yyy} functions can cause havoc if used