diff --git a/BGL/include/CGAL/boost/graph/Euler_operations.h b/BGL/include/CGAL/boost/graph/Euler_operations.h
index e7089b7b66f..afa1952858c 100644
--- a/BGL/include/CGAL/boost/graph/Euler_operations.h
+++ b/BGL/include/CGAL/boost/graph/Euler_operations.h
@@ -1670,7 +1670,7 @@ collapse_edge(typename boost::graph_traits<Graph>::edge_descriptor e,
  * \returns vertex `v1`.
  * \pre This function requires `g` to be an oriented 2-manifold with or without boundaries.
  *       Furthermore, the edge `v0v1` must satisfy the link condition, which guarantees that the surface mesh is also 2-manifold after the edge collapse.
- * \pre `get(edge_is_constrained_map, v0v1)==false`.
+ * \pre `get(edge_is_constrained_map, v0v1) == false`.
  * \pre  `v0` and `v1` are not both incident to a constrained edge.
  */
 
diff --git a/Kernel_d/doc/Kernel_d/CGAL/Epeck_d.h b/Kernel_d/doc/Kernel_d/CGAL/Epeck_d.h
index af63a8781c6..8d5bae50181 100644
--- a/Kernel_d/doc/Kernel_d/CGAL/Epeck_d.h
+++ b/Kernel_d/doc/Kernel_d/CGAL/Epeck_d.h
@@ -75,7 +75,7 @@ public:
 Point_d(double x0, double x1, ...);
 
 /*! introduces a point with coordinate set `[first,end)`.
-    \pre If `DimensionTag` is a fixed dimension, it matches `distance(first,end)`.
+    \pre If `DimensionTag` is a fixed dimension, it matches `std::distance(first,end)`.
     \tparam ForwardIterator has its value type that is convertible to `double`.
     */
 template<typename ForwardIterator>
@@ -108,7 +108,7 @@ public:
 Vector_d(double x0, double x1, ...);
 
 /*! introduces a vector with coordinate set `[first,end)`.
-    \pre If `DimensionTag` is a fixed dimension, it matches `distance(first,end)`.
+    \pre If `DimensionTag` is a fixed dimension, it matches `std::distance(first,end)`.
     \tparam ForwardIterator has its value type that is convertible to `double`.
     */
 template<typename ForwardIterator>
diff --git a/Kernel_d/doc/Kernel_d/CGAL/Epick_d.h b/Kernel_d/doc/Kernel_d/CGAL/Epick_d.h
index 61cd6153cdf..216ca642860 100644
--- a/Kernel_d/doc/Kernel_d/CGAL/Epick_d.h
+++ b/Kernel_d/doc/Kernel_d/CGAL/Epick_d.h
@@ -63,7 +63,7 @@ public:
 Point_d(double x0, double x1, ...);
 
 /*! introduces a point with coordinate set `[first,end)`.
-    \pre If `DimensionTag` is a fixed dimension, it matches `distance(first,end)`.
+    \pre If `DimensionTag` is a fixed dimension, it matches `std::distance(first,end)`.
     \tparam InputIterator has its value type that is convertible to `double`.
     */
 template<typename InputIterator>
@@ -98,7 +98,7 @@ public:
 Vector_d(double x0, double x1, ...);
 
 /*! introduces a vector with coordinate set `[first,end)`.
-    \pre If `DimensionTag` is a fixed dimension, it matches `distance(first,end)`.
+    \pre If `DimensionTag` is a fixed dimension, it matches `std::distance(first,end)`.
     \tparam InputIterator has its value type that is convertible to `double`.
     */
 template<typename InputIterator>
diff --git a/TDS_3/doc/TDS_3/Concepts/TriangulationDataStructure_3.h b/TDS_3/doc/TDS_3/Concepts/TriangulationDataStructure_3.h
index c31a4fd8d46..3d8a5dda8a6 100644
--- a/TDS_3/doc/TDS_3/Concepts/TriangulationDataStructure_3.h
+++ b/TDS_3/doc/TDS_3/Concepts/TriangulationDataStructure_3.h
@@ -116,7 +116,7 @@ typedef unspecified_type Vertex_handle;
 typedef unspecified_type Cell_handle;
 
 /*!
-Can be `CGAL::Sequential_tag`, `CGAL::Parallel_tag`, or `Parallel_if_available_tag`. If it is
+Can be `CGAL::Sequential_tag`, `CGAL::Parallel_tag`, or `CGAL::Parallel_if_available_tag`. If it is
 `CGAL::Parallel_tag`, the following functions can be called concurrently:
 `create_vertex()`, `create_cell()`, `delete_vertex()`, `delete_cell()`.
 */
@@ -875,7 +875,7 @@ Facet_circulator incident_facets(Edge e) const;
 As above for edge `(i,j)` of `c`.
 
 Only defined in dimension 3, though are defined also in dimension 2:
-there are only two facets sahring an edge in dimension 2.
+there are only two facets sharing an edge in dimension 2.
 */
 Facet_circulator incident_facets(Cell_handle c, int i, int j) const;
 
@@ -883,7 +883,7 @@ Facet_circulator incident_facets(Cell_handle c, int i, int j) const;
 Starts at facet `start`.
 
 Only defined in dimension 3, though are defined also in dimension 2:
-there are only two facets sahring an edge in dimension 2.
+there are only two facets sharing an edge in dimension 2.
 
 \pre `start` is incident to `e`.
 */
@@ -893,7 +893,7 @@ Facet_circulator incident_facets(Edge e, Facet start) const;
 Starts at facet of index `f` in `start`.
 
 Only defined in dimension 3, though are defined also in dimension 2:
-there are only two facets sahring an edge in dimension 2.
+there are only two facets sharing an edge in dimension 2.
 */
 Facet_circulator incident_facets(Edge e, Cell_handle start, int f) const;
 
@@ -901,7 +901,7 @@ Facet_circulator incident_facets(Edge e, Cell_handle start, int f) const;
 As above for edge `(i,j)` of `c`.
 
 Only defined in dimension 3, though are defined also in dimension 2:
-there are only two facets sahring an edge in dimension 2.
+there are only two facets sharing an edge in dimension 2.
 */
 Facet_circulator incident_facets(Cell_handle c, int i, int j,
 Facet start) const;
@@ -910,7 +910,7 @@ Facet start) const;
 As above for edge `(i,j)` of `c` and facet `(start,f)`.
 
 Only defined in dimension 3, though are defined also in dimension 2:
-there are only two facets sahring an edge in dimension 2.
+there are only two facets sharing an edge in dimension 2.
 */
 Facet_circulator incident_facets(Cell_handle c, int i, int j,
 Cell_handle start, int f) const;