diff --git a/Polygon_mesh_processing/doc/Polygon_mesh_processing/Concepts/PMPCorefinementVisitor.h b/Polygon_mesh_processing/doc/Polygon_mesh_processing/Concepts/PMPCorefinementVisitor.h
index 2e309ab5829..55c75955e14 100644
--- a/Polygon_mesh_processing/doc/Polygon_mesh_processing/Concepts/PMPCorefinementVisitor.h
+++ b/Polygon_mesh_processing/doc/Polygon_mesh_processing/Concepts/PMPCorefinementVisitor.h
@@ -83,7 +83,7 @@ public:
 /// @}
 
 /// @name Functions used by Boolean operations functions using corefinement.
-/// These functions are not needed if you only call `corefine()`.
+/// These functions are not needed if only call `corefine()` is called.
 /// @{
   /// called before importing the face `f_src` of `tm_src` in `tm_tgt`
   void before_face_copy(face_descriptor f_src, const Triangle_mesh& tm_src, const Triangle_mesh& tm_tgt);
@@ -124,8 +124,8 @@ public:
   void start_filtering_intersections();
   /// called during detection of intersections between faces from a mesh and edges of the other.
   /// `d` is a double value in `[0,1]` that is increasing with the number of calls. The closer
-  /// to `1` you are the closer the intersection detection is complete.
-  void progress_filtering_intersection(double d);
+  /// to `1` is `d`, the closer the intersection detection is complete.
+  void progress_filtering_intersections(double d);
   /// called after detection of intersections between faces from a mesh and edges of the other
   void end_filtering_intersections();
 
@@ -137,7 +137,7 @@ public:
   void end_handling_intersection_of_coplanar_faces() const;
 
   /// called before processing intersections between edges and faces of two meshes (called twice).
-  /// `n` is the number of edges possibilly intersecting faces that should be processed.
+  /// `n` is the number of edges possibly intersecting faces that will be processed.
   void start_handling_edge_face_intersections(std::size_t n);
   /// called each time an edge is processed
   void edge_face_intersections_step();
@@ -153,16 +153,16 @@ public:
 /// @}
 
 /// @name Functions used by Boolean operations functions using corefinement for progress tracking.
-/// These functions are not needed if you only call `corefine()`.
-  /// called before computing Boolean operations output after corefinement
+/// These functions are not needed if only call `corefine()` is called.
+  /// called before computing the output of the Boolean operations after corefinement
   void start_building_output();
-  /// called when output of Boolean operations are computed
+  /// called when the outputs of the Boolean operations is computed
   void end_building_output();
-  /// called before filtering intersection edges between interior to a set of coplanar faces
+  /// called before filtering intersection edges in the interior of a set of coplanar faces
   void filter_coplanar_edges() const {}
   /// called before segmenting input meshes in patches defined by connected components seperated by intersection edges
   void detect_patches() const {}
-  /// called before classifying which patches contributes to each Boolean operation
+  /// called before classifying which patches contribute to each Boolean operation
   void classify_patches() const {}
   /// called before classifying patches of `tm` that are free from intersection with the other mesh
   void classify_intersection_free_patches(const TriangleMesh& tm) const {}
diff --git a/Polygon_mesh_processing/examples/Polygon_mesh_processing/corefinement_mesh_union_progress.cpp b/Polygon_mesh_processing/examples/Polygon_mesh_processing/corefinement_mesh_union_progress.cpp
index 54a0b672525..8b49c843d29 100644
--- a/Polygon_mesh_processing/examples/Polygon_mesh_processing/corefinement_mesh_union_progress.cpp
+++ b/Polygon_mesh_processing/examples/Polygon_mesh_processing/corefinement_mesh_union_progress.cpp
@@ -19,7 +19,7 @@ struct Visitor_rep{
     t.start();
   }
 
-  void progress_filtering_intersection(double d)
+  void progress_filtering_intersections(double d)
    {
     d /= normalize;
     total += d;
@@ -110,9 +110,9 @@ struct Visitor :
     : sptr(std::make_shared<Visitor_rep>())
   {}
 
-  void progress_filtering_intersection(double d)
+  void progress_filtering_intersections(double d)
   {
-    sptr->progress_filtering_intersection(d);
+    sptr->progress_filtering_intersections(d);
   }
 
   void start_filtering_intersections() const
diff --git a/Polygon_mesh_processing/include/CGAL/Polygon_mesh_processing/internal/Corefinement/Visitor.h b/Polygon_mesh_processing/include/CGAL/Polygon_mesh_processing/internal/Corefinement/Visitor.h
index 9234d97b0da..43d3277bfb4 100644
--- a/Polygon_mesh_processing/include/CGAL/Polygon_mesh_processing/internal/Corefinement/Visitor.h
+++ b/Polygon_mesh_processing/include/CGAL/Polygon_mesh_processing/internal/Corefinement/Visitor.h
@@ -559,9 +559,9 @@ public:
   }
 
 
-  void progress_filtering_intersection(double d) const
+  void progress_filtering_intersections(double d) const
   {
-    user_visitor.progress_filtering_intersection(d);
+    user_visitor.progress_filtering_intersections(d);
   }
 
   void end_filtering_intersections() const
diff --git a/Polygon_mesh_processing/include/CGAL/Polygon_mesh_processing/internal/Corefinement/face_graph_utils.h b/Polygon_mesh_processing/include/CGAL/Polygon_mesh_processing/internal/Corefinement/face_graph_utils.h
index 948e85b1f9e..3796987cac0 100644
--- a/Polygon_mesh_processing/include/CGAL/Polygon_mesh_processing/internal/Corefinement/face_graph_utils.h
+++ b/Polygon_mesh_processing/include/CGAL/Polygon_mesh_processing/internal/Corefinement/face_graph_utils.h
@@ -466,7 +466,7 @@ struct Default_visitor{
 
   // progress tracking
   void start_filtering_intersections() const {}
-  void progress_filtering_intersection(double ) const {}
+  void progress_filtering_intersections(double ) const {}
   void end_filtering_intersections() const {}
 
   void start_triangulating_faces(std::size_t) const {}
diff --git a/Polygon_mesh_processing/include/CGAL/Polygon_mesh_processing/internal/Corefinement/intersection_callbacks.h b/Polygon_mesh_processing/include/CGAL/Polygon_mesh_processing/internal/Corefinement/intersection_callbacks.h
index 63f83ae2c52..f91c2337056 100644
--- a/Polygon_mesh_processing/include/CGAL/Polygon_mesh_processing/internal/Corefinement/intersection_callbacks.h
+++ b/Polygon_mesh_processing/include/CGAL/Polygon_mesh_processing/internal/Corefinement/intersection_callbacks.h
@@ -155,15 +155,9 @@ public:
     operator()(*face_box_ptr, *edge_box_ptr);
   }
 
-   bool report(int dim)
-  {
-    return (dim == Box::dimension() - 1);
-  }
-
-
   void progress(double d)
   {
-    visitor.progress_filtering_intersection(d);
+    visitor.progress_filtering_intersections(d);
   }
 
 };
diff --git a/Polygon_mesh_processing/include/CGAL/Polygon_mesh_processing/internal/Corefinement/intersection_impl.h b/Polygon_mesh_processing/include/CGAL/Polygon_mesh_processing/internal/Corefinement/intersection_impl.h
index a8c8d66ffc6..4c2147ef498 100644
--- a/Polygon_mesh_processing/include/CGAL/Polygon_mesh_processing/internal/Corefinement/intersection_impl.h
+++ b/Polygon_mesh_processing/include/CGAL/Polygon_mesh_processing/internal/Corefinement/intersection_impl.h
@@ -123,7 +123,7 @@ struct Default_surface_intersection_visitor{
 
   // needed for progress tracking
   void start_filtering_intersections() const {}
-  void progress_filtering_intersection(double) const{}
+  void progress_filtering_intersections(double) const{}
   void end_filtering_intersections() const {}
 
   void start_triangulating_faces(std::size_t) const {}