diff --git a/Packages/Interval_arithmetic/doc_tex/NumberTypeSupport/Interval.tex b/Packages/Interval_arithmetic/doc_tex/NumberTypeSupport/Interval.tex
index 5e4fe4fc4f4..873f372a9c5 100644
--- a/Packages/Interval_arithmetic/doc_tex/NumberTypeSupport/Interval.tex
+++ b/Packages/Interval_arithmetic/doc_tex/NumberTypeSupport/Interval.tex
@@ -315,7 +315,13 @@ this C++ feature (MipsPro 7.2).  A workaround is in place that allows to use
 one such filtered number type at once, by explicitely specializing the
 predicates for it.  To do so, just define the macros \ccc{CGAL_IA_CT} and
 \ccc{CGAL_IA_ET} to the corresponding number types before any inclusion of
-{\cgal} files.
+{\cgal} files, as well as \ccc{CGAL_IA_CACHE}.  For example~:
+
+\begin{verbatim} 
+#define CGAL_IA_CT double
+#define CGAL_IA_ET leda_real
+#define CGAL_IA_CACHE No_Filter_Cache
+\end{verbatim}
 
 For each predicate file, the overloaded code is generated automatically by a
 \ccc{PERL} script
@@ -342,6 +348,6 @@ The low level template predicates of {\cgal} are in files named
 to produce the files \ccc{CGAL/Arithmetic_filter/predicates_on_ftC2.h}
 (resp. ftC3).
 
-For the moment, only the cartesian predicates are supported.
+For the moment, only the cartesian predicates of the kernel are supported.
 
 \end{ccClass}
diff --git a/Packages/Interval_arithmetic/doc_tex/support/NumberTypeSupport/Interval.tex b/Packages/Interval_arithmetic/doc_tex/support/NumberTypeSupport/Interval.tex
index 5e4fe4fc4f4..873f372a9c5 100644
--- a/Packages/Interval_arithmetic/doc_tex/support/NumberTypeSupport/Interval.tex
+++ b/Packages/Interval_arithmetic/doc_tex/support/NumberTypeSupport/Interval.tex
@@ -315,7 +315,13 @@ this C++ feature (MipsPro 7.2).  A workaround is in place that allows to use
 one such filtered number type at once, by explicitely specializing the
 predicates for it.  To do so, just define the macros \ccc{CGAL_IA_CT} and
 \ccc{CGAL_IA_ET} to the corresponding number types before any inclusion of
-{\cgal} files.
+{\cgal} files, as well as \ccc{CGAL_IA_CACHE}.  For example~:
+
+\begin{verbatim} 
+#define CGAL_IA_CT double
+#define CGAL_IA_ET leda_real
+#define CGAL_IA_CACHE No_Filter_Cache
+\end{verbatim}
 
 For each predicate file, the overloaded code is generated automatically by a
 \ccc{PERL} script
@@ -342,6 +348,6 @@ The low level template predicates of {\cgal} are in files named
 to produce the files \ccc{CGAL/Arithmetic_filter/predicates_on_ftC2.h}
 (resp. ftC3).
 
-For the moment, only the cartesian predicates are supported.
+For the moment, only the cartesian predicates of the kernel are supported.
 
 \end{ccClass}