diff --git a/Kernel_23/doc/Kernel_23/CGAL/intersections.h b/Kernel_23/doc/Kernel_23/CGAL/intersections.h
index 47155df7898..7421c3e57f6 100644
--- a/Kernel_23/doc/Kernel_23/CGAL/intersections.h
+++ b/Kernel_23/doc/Kernel_23/CGAL/intersections.h
@@ -95,7 +95,7 @@ The following tables give the possible values for `Type1` and `Type2`.
 
 \cgalHeading{2D Intersections}
 
-The return type can be obtained through `CGAL::cpp11::result_of<Kernel::Intersect_2(A, B)>::%type`.
+The return type can be obtained through `cpp11::result_of<Kernel::Intersect_2(A, B)>::%type`.
 It is equivalent to `boost::optional< boost::variant< T... > >`, the last column in the table providing the template parameter pack.
 
 <DIV ALIGN="CENTER">
@@ -191,7 +191,7 @@ intersections existing with the type `Iso_rectangle_2`. Note that the return typ
 
 \cgalHeading{3D Intersections}
 
-The return type can be obtained through `CGAL::cpp11::result_of<Kernel::Intersect_3(A, B)>::%type`.
+The return type can be obtained through `cpp11::result_of<Kernel::Intersect_3(A, B)>::%type`.
 It is equivalent to `boost::optional< boost::variant< T... > >`, the last column in the table providing the template parameter pack.
 
 <DIV ALIGN="CENTER">
@@ -350,7 +350,7 @@ The following examples demonstrate the most common use of
 `intersection()` functions with the 2D and 3D Linear %Kernel.
 
 In the first two examples we intersect a segment and a line.
-The result type can be obtained with `CGAL::cpp11::result_of`. It looks simpler
+The result type can be obtained with `cpp11::result_of`. It looks simpler
 if you use a C++ compiler which supports `auto`,
 but you must anyways know that the result type is a `boost::optional<boost::variant<..> >`, in order to unpack the point or segment.
 
diff --git a/Kernel_23/doc/Kernel_23/Kernel_23.txt b/Kernel_23/doc/Kernel_23/Kernel_23.txt
index 0947dbecd5e..c624cc64db8 100644
--- a/Kernel_23/doc/Kernel_23/Kernel_23.txt
+++ b/Kernel_23/doc/Kernel_23/Kernel_23.txt
@@ -498,8 +498,8 @@ in a type-safe way \cgal uses return values of type
 `boost::optional< boost::variant< T...  > >` were `T...` is a
 list of all possible resulting geometric objects.  The exact result
 type of an intersection can be determined through the metafunction
-`cpp11::result_of<Kernel::Intersect_2(Type1, Type2)>` or
-`cpp11::result_of<Kernel::Intersect_3(Type1, Type2)>`, where
+`CGAL::cpp11::result_of<Kernel::Intersect_2(Type1, Type2)>` or
+`CGAL::cpp11::result_of<Kernel::Intersect_3(Type1, Type2)>`, where
 `Type1` and `Type2` are the types of the objects used in the
 intersection computation.
 
@@ -525,7 +525,7 @@ std::cin >> segment_1 >> segment_2;
 // auto v = intersection(segment_1, segment_2);
 
 /* C++03 */
-cpp11::result_of<K::Intersect_2(Segment_2, Segment_2)>::type
+CGAL::cpp11::result_of<K::Intersect_2(Segment_2, Segment_2)>::type
 v = intersection(segment_1, segment_2);
 if(v) {
   /* not empty */