diff --git a/Kernel_23/doc/Kernel_23/CGAL/Circle_2.h b/Kernel_23/doc/Kernel_23/CGAL/Circle_2.h
index 4f8e9ba5ad2..b68c9c87e4e 100644
--- a/Kernel_23/doc/Kernel_23/CGAL/Circle_2.h
+++ b/Kernel_23/doc/Kernel_23/CGAL/Circle_2.h
@@ -63,7 +63,7 @@ introduces a variable `c` of type `Circle_2`.
 It is initialized to the circle with center `center`, squared 
 radius zero and orientation `ori`. 
 \pre `ori` \f$ \neq\f$ `COLLINEAR`. 
-\post `c`.`is_degenerate()` = `true`. 
+\post `c.is_degenerate()` = `true`. 
 */ 
 Circle_2( const Point_2<Kernel> &center, 
           const Orientation &ori = COUNTERCLOCKWISE); 
diff --git a/Kernel_23/doc/Kernel_23/CGAL/Segment_2.h b/Kernel_23/doc/Kernel_23/CGAL/Segment_2.h
index 94ba98afee3..bc69047e206 100644
--- a/Kernel_23/doc/Kernel_23/CGAL/Segment_2.h
+++ b/Kernel_23/doc/Kernel_23/CGAL/Segment_2.h
@@ -96,7 +96,7 @@ returns the direction from source to target of `s`.
 Direction_2<Kernel> direction() const; 
 
 /*! 
-returns the vector `s`.`target()` - `s`.`source()`. 
+returns the vector `s.target()` - `s.source()`. 
 */ 
 Vector_2<Kernel> to_vector() const; 
 
diff --git a/Kernel_23/doc/Kernel_23/CGAL/Segment_3.h b/Kernel_23/doc/Kernel_23/CGAL/Segment_3.h
index 4e07cddc757..e477483e967 100644
--- a/Kernel_23/doc/Kernel_23/CGAL/Segment_3.h
+++ b/Kernel_23/doc/Kernel_23/CGAL/Segment_3.h
@@ -91,7 +91,7 @@ returns the squared length of `s`.
 Kernel::FT squared_length() const; 
 
 /*! 
-returns the vector `s`.`target()` - `s`.`source()`. 
+returns the vector `s.target()` - `s`.`source()`. 
 */ 
 Vector_3<Kernel> to_vector() const; 
 
diff --git a/Kernel_23/doc/Kernel_23/CGAL/Sphere_3.h b/Kernel_23/doc/Kernel_23/CGAL/Sphere_3.h
index 65aef954342..525e3e88357 100644
--- a/Kernel_23/doc/Kernel_23/CGAL/Sphere_3.h
+++ b/Kernel_23/doc/Kernel_23/CGAL/Sphere_3.h
@@ -76,7 +76,7 @@ introduces a variable `c` of type `Sphere_3`.
 It is initialized to the sphere with center `center`, squared 
 radius zero and orientation `orientation`. 
 \pre `orientation` \f$ \neq\f$ \ref COPLANAR. 
-\post `c`.`is_degenerate()` = `true`. 
+\post `c.is_degenerate()` = `true`. 
 */ 
 Sphere_3( const Point_3<Kernel> & center, 
           const Orientation& orientation = COUNTERCLOCKWISE);