diff --git a/Curved_kernel_via_analysis_2/doc_tex/Curved_kernel_via_analysis_2_ref/CurveKernel_2.tex b/Curved_kernel_via_analysis_2/doc_tex/Curved_kernel_via_analysis_2_ref/CurveKernel_2.tex
index 5ddbce646cc..6827bc153ac 100644
--- a/Curved_kernel_via_analysis_2/doc_tex/Curved_kernel_via_analysis_2_ref/CurveKernel_2.tex
+++ b/Curved_kernel_via_analysis_2/doc_tex/Curved_kernel_via_analysis_2_ref/CurveKernel_2.tex
@@ -42,8 +42,8 @@ A model of \ccc{CurveKernel_2} must provide
 \ccNestedType{Has_finite_number_of_self_intersections_2}{A model of 
 \ccc{CurveKernel_2::HasFiniteNumberOfSelfIntersections_2}.}
 \ccGlue
-\ccNestedType{Have_finite_number_of_intersections_2}{A model of 
-\ccc{CurveKernel_2::HaveFiniteNumberOfIntersections_2}.}
+\ccNestedType{Has_finite_number_of_intersections_2}{A model of 
+\ccc{CurveKernel_2::HasFiniteNumberOfIntersections_2}.}
 \ccGlue
 \ccNestedType{Decompose_2}{A model of 
 \ccc{CurveKernel_2::Decompose_2}.}
diff --git a/Curved_kernel_via_analysis_2/doc_tex/Curved_kernel_via_analysis_2_ref/CurveKernel_2/Decompose_2.tex b/Curved_kernel_via_analysis_2/doc_tex/Curved_kernel_via_analysis_2_ref/CurveKernel_2/Decompose_2.tex
index adab1561e5e..4cf0e2ec2f6 100644
--- a/Curved_kernel_via_analysis_2/doc_tex/Curved_kernel_via_analysis_2_ref/CurveKernel_2/Decompose_2.tex
+++ b/Curved_kernel_via_analysis_2/doc_tex/Curved_kernel_via_analysis_2_ref/CurveKernel_2/Decompose_2.tex
@@ -53,7 +53,7 @@ A model \ccVar\ of this type must provide:
 \ccc{CurveAnalysis_2}, and $mit$ is $int$. Returns the number of computed parts $n$.}
 
 \ccSeeAlso
-\ccRefIdfierPage{CurveKernel_2::HaveFiniteNumberOfIntersections_2}\\
+\ccRefIdfierPage{CurveKernel_2::HasFiniteNumberOfIntersections_2}\\
 
 \ccDefinition
 computes for a given pair of curves $ca1$ and $ca2$ their common part $common$ and coprime parts  respectively; returns true if the curves were decomposed.
@@ -75,7 +75,7 @@ A model \ccVar\ of this type must provide:
 Returns true if the curves were decomposed.}
 
 \ccSeeAlso
-\ccRefIdfierPage{CurveKernel_2::HaveFiniteNumberOfIntersections_2}\\
+\ccRefIdfierPage{CurveKernel_2::HasFiniteNumberOfIntersections_2}\\
 
 
 \end{ccRefFunctionObjectConcept}
diff --git a/Curved_kernel_via_analysis_2/doc_tex/Curved_kernel_via_analysis_2_ref/CurveKernel_2/HaveFiniteNumberOfIntersections_2.tex b/Curved_kernel_via_analysis_2/doc_tex/Curved_kernel_via_analysis_2_ref/CurveKernel_2/HaveFiniteNumberOfIntersections_2.tex
index 0a1c7990b3d..a35f7580c4c 100644
--- a/Curved_kernel_via_analysis_2/doc_tex/Curved_kernel_via_analysis_2_ref/CurveKernel_2/HaveFiniteNumberOfIntersections_2.tex
+++ b/Curved_kernel_via_analysis_2/doc_tex/Curved_kernel_via_analysis_2_ref/CurveKernel_2/HaveFiniteNumberOfIntersections_2.tex
@@ -1,4 +1,4 @@
-\begin{ccRefFunctionObjectConcept}{CurveKernel_2::HaveFiniteNumberOfIntersections_2}
+\begin{ccRefFunctionObjectConcept}{CurveKernel_2::HasFiniteNumberOfIntersections_2}
 
 \ccDefinition
 computes whether a curve pair has finitely many intersections, in other words, whether two curves have no continuous common part. For algerbaic curves checks whether supporting polynomials are
diff --git a/Curved_kernel_via_analysis_2/doc_tex/Curved_kernel_via_analysis_2_ref/main.tex b/Curved_kernel_via_analysis_2/doc_tex/Curved_kernel_via_analysis_2_ref/main.tex
index 285237c66c2..8260fe8a965 100644
--- a/Curved_kernel_via_analysis_2/doc_tex/Curved_kernel_via_analysis_2_ref/main.tex
+++ b/Curved_kernel_via_analysis_2/doc_tex/Curved_kernel_via_analysis_2_ref/main.tex
@@ -48,8 +48,8 @@
 \input{Curved_kernel_via_analysis_2_ref/CurveKernel_2/XyCoordinate_2}
 
 \input{Curved_kernel_via_analysis_2_ref/CurveKernel_2/HasFiniteNumberOfSelfIntersections_2}
+\input{Curved_kernel_via_analysis_2_ref/CurveKernel_2/HasFiniteNumberOfIntersections_2}
 \input{Curved_kernel_via_analysis_2_ref/CurveKernel_2/Decompose_2}
-\input{Curved_kernel_via_analysis_2_ref/CurveKernel_2/HaveFiniteNumberOfIntersections_2}
 
 \input{Curved_kernel_via_analysis_2_ref/CurveKernel_2/Get_2}
 \input{Curved_kernel_via_analysis_2_ref/CurveKernel_2/Compare_2}