diff --git a/Arrangement_on_surface_2/doc_tex/Arrangement_on_surface_2_ref/Arr_basic_traits.tex b/Arrangement_on_surface_2/doc_tex/Arrangement_on_surface_2_ref/Arr_basic_traits.tex
index 4b7c8109f39..b8d119605e8 100644
--- a/Arrangement_on_surface_2/doc_tex/Arrangement_on_surface_2_ref/Arr_basic_traits.tex
+++ b/Arrangement_on_surface_2/doc_tex/Arrangement_on_surface_2_ref/Arr_basic_traits.tex
@@ -110,15 +110,15 @@ overlap.
 \ccThreeToTwo
 \ccMethod{Compare_x_2 compare_x_2_object() const;} {}
 \ccGlue
-\ccMethod{Compare_xy_2 compare_xy_2_object() const;}{}
+\ccMethod{Compare_xy_2 compare_xy_2_object() const;} {}
 \ccGlue
-\ccMethod{Boundary_in_x_2 boundary_in_x_2_object() const;}{}
+\ccMethod{Boundary_in_x_2 boundary_in_x_2_object() const;} {}
 \ccGlue
-\ccMethod{Boundary_in_y_2 boundary_in_y_2_object() const;}{}
+\ccMethod{Boundary_in_y_2 boundary_in_y_2_object() const;} {}
 \ccGlue
-\ccMethod{Construct_min_vertex_2 construct_min_vertex_2_object() const;}{}
+\ccMethod{Construct_min_vertex_2 construct_min_vertex_2_object() const;} {}
 \ccGlue
-\ccMethod{Construct_max_vertex_2 construct_max_vertex_2_object() const;}{}
+\ccMethod{Construct_max_vertex_2 construct_max_vertex_2_object() const;} {}
 \ccGlue
 \ccMethod{Is_vertical_2 is_vertical_2_object() const;} {}
 \ccGlue
diff --git a/Arrangement_on_surface_2/doc_tex/Arrangement_on_surface_2_ref/Arr_traits.tex b/Arrangement_on_surface_2/doc_tex/Arrangement_on_surface_2_ref/Arr_traits.tex
index 2c36b47c095..a4e78429254 100644
--- a/Arrangement_on_surface_2/doc_tex/Arrangement_on_surface_2_ref/Arr_traits.tex
+++ b/Arrangement_on_surface_2/doc_tex/Arrangement_on_surface_2_ref/Arr_traits.tex
@@ -37,7 +37,7 @@ and \ccc{X_monotone_curve_2} types, defined in the basic traits concept).
 
 \ccHeading{Accessing Functor Objects}
 % ===================================
-\ccMethod{Make_x_monotone_2 make_x_monotone_2_object();}{}
+\ccMethod{Make_x_monotone_2 make_x_monotone_2_object() const;} {}
 
 \ccHasModels
 % ==========
diff --git a/Arrangement_on_surface_2/doc_tex/Arrangement_on_surface_2_ref/Arr_x_monotone_traits.tex b/Arrangement_on_surface_2/doc_tex/Arrangement_on_surface_2_ref/Arr_x_monotone_traits.tex
index 522a5b3ffdd..96392c2ba0f 100644
--- a/Arrangement_on_surface_2/doc_tex/Arrangement_on_surface_2_ref/Arr_x_monotone_traits.tex
+++ b/Arrangement_on_surface_2/doc_tex/Arrangement_on_surface_2_ref/Arr_x_monotone_traits.tex
@@ -55,17 +55,17 @@ supported, the \ccc{Has_merge_category} tag should be defined as
 
 \ccHeading{Accessing Functor Objects}
 % ===================================
-\ccMethod{Intersect_2 intersect_2_object();} {}
+\ccMethod{Intersect_2 intersect_2_object() const;} {}
 \ccGlue
-\ccMethod{Split_2 split_2_object();} {}
+\ccMethod{Split_2 split_2_object() const;} {}
 
 The two following methods are optional. If they are supported, 
 the \ccc{Has_merge_category} tag should be defined as \ccc{Tag_true} (and
 \ccc{Tag_false} otherwise.
 
-\ccMethod{Are_mergeable_2 are_mergeable_2_object();} {}
+\ccMethod{Are_mergeable_2 are_mergeable_2_object() const;} {}
 \ccGlue
-\ccMethod{Merge_2 merge_2_object();} {}
+\ccMethod{Merge_2 merge_2_object() const;} {}
 
 \ccHasModels
 % ==========
diff --git a/Arrangement_on_surface_2/doc_tex/Arrangement_on_surface_2_ref/Arrangement_2.tex b/Arrangement_on_surface_2/doc_tex/Arrangement_on_surface_2_ref/Arrangement_2.tex
index 61becdada77..19d393de429 100644
--- a/Arrangement_on_surface_2/doc_tex/Arrangement_on_surface_2_ref/Arrangement_2.tex
+++ b/Arrangement_on_surface_2/doc_tex/Arrangement_on_surface_2_ref/Arrangement_2.tex
@@ -136,7 +136,7 @@ iterators can be passed as well.
 \ccConstructor{Arrangement_2<Traits, Dcel>(const Self& other);}
     {copy constructor.}
         
-\ccConstructor{Arrangement_2<Traits, Dcel>(Traits_2 *traits);}
+\ccConstructor{Arrangement_2<Traits, Dcel>(const Traits_2 *traits);}
     {constructs an empty arrangement that uses the given \ccc{traits}
      instance for performing the geometric predicates.}