diff --git a/Kernel_23/doc/Kernel_23/Kernel_23.txt b/Kernel_23/doc/Kernel_23/Kernel_23.txt
index c9c4509580e..3680f47268d 100644
--- a/Kernel_23/doc/Kernel_23/Kernel_23.txt
+++ b/Kernel_23/doc/Kernel_23/Kernel_23.txt
@@ -290,7 +290,7 @@ crash or compute incorrect results due to accumulated rounding errors.
 
 \subsubsection Kernel_23PredefinedKernels Predefined Kernels
 
-For the user's convenience, \cgal provides 3 typedefs to generally useful
+For the user's convenience, \cgal provides 5 typedefs to generally useful
 kernels.
 
 <UL>