diff --git a/Kernel_23/doc/Kernel_23/Concepts/Kernel.h b/Kernel_23/doc/Kernel_23/Concepts/Kernel.h
index 55a8d1469ef..8322937965d 100644
--- a/Kernel_23/doc/Kernel_23/Concepts/Kernel.h
+++ b/Kernel_23/doc/Kernel_23/Concepts/Kernel.h
@@ -1533,11 +1533,6 @@ public:
   */
   typedef unspecified_type Is_degenerate_3;
 
-  /*!
-    a model of `Kernel::HasNonZeroCoordinateIndex_3`
-  */
-  typedef unspecified_type Has_non_zero_coordinate_index_3;
-
   /*!
     a model of `Kernel::HasOn_3`
   */
@@ -1568,6 +1563,11 @@ public:
   */
   typedef unspecified_type Has_on_negative_side_3;
 
+  /*!
+    a model of `Kernel::NonZeroCoordinateIndex_3`
+  */
+  typedef unspecified_type Non_zero_coordinate_index_3;
+
   /*!
     a model of `Kernel::OrientedSide_3`
   */