diff --git a/Packages/Curved_kernel/doc_tex/Curved_kernel_ref/FunctorsOtherPredicates.tex b/Packages/Curved_kernel/doc_tex/Curved_kernel_ref/FunctorsOtherPredicates.tex
index 4d9d45412fe..b8414f1a7e3 100644
--- a/Packages/Curved_kernel/doc_tex/Curved_kernel_ref/FunctorsOtherPredicates.tex
+++ b/Packages/Curved_kernel/doc_tex/Curved_kernel_ref/FunctorsOtherPredicates.tex
@@ -161,6 +161,10 @@ An object \ccVar\ of this type must provide:
 	(const CircularKernel::Circular_arc_2 & c);}
 {Tests whether the arc is $x$-monotone.}
 
+\ccMemberFunction{bool operator()
+	(const CircularKernel::Line_arc_2 & l);}
+{For a line arc, always returns \ccc{true}.}
+
 \ccHasModels
 
 \ccc{Circular_kernel::Is_x_monotone_2;}
diff --git a/Packages/Curved_kernel/doc_tex/Curved_kernel_ref/GeomFunctorsConstruct.tex b/Packages/Curved_kernel/doc_tex/Curved_kernel_ref/GeomFunctorsConstruct.tex
index 42e682e392c..2c1caa869ab 100644
--- a/Packages/Curved_kernel/doc_tex/Curved_kernel_ref/GeomFunctorsConstruct.tex
+++ b/Packages/Curved_kernel/doc_tex/Curved_kernel_ref/GeomFunctorsConstruct.tex
@@ -99,6 +99,71 @@ defined by the intersections has non-zero length.}}
 
 \end{ccRefFunctionObjectConcept}
 
+\begin{ccRefFunctionObjectConcept}{CircularKernel::ConstructCircularMinVertex_2} 
+
+\ccCreationVariable{fo}
+
+A model \ccVar\ of this type must provide:
+
+\ccMemberFunction{CircularKernel::Circular_arc_point_2 operator()
+	(const CircularKernel::Circular_arc_2 & c);}
+{Constructs the $x$-minimal vertex of \ccc{c}.
+\ccPrecond{The arc \ccc{c} is $x$-monotone.}}
+
+\ccMemberFunction{CircularKernel::Circular_arc_point_2 operator()
+	(const CircularKernel::Line_arc_2 & l);}
+{Same, for a line segment.}
+
+\end{ccRefFunctionObjectConcept}
+
+\begin{ccRefFunctionObjectConcept}{CircularKernel::ConstructCircularMaxVertex_2} 
+
+\ccCreationVariable{fo}
+
+A model \ccVar\ of this type must provide:
+
+\ccMemberFunction{CircularKernel::Circular_arc_point_2 operator()
+	(const CircularKernel::Circular_arc_2 & c);}
+{Constructs the $x$-maximal vertex of \ccc{c}.
+\ccPrecond{The arc \ccc{c} is $x$-monotone.}}
+
+\ccMemberFunction{CircularKernel::Circular_arc_point_2 operator()
+	(const CircularKernel::Line_arc_2 & l);}
+{Same, for a line segment.}
+
+\end{ccRefFunctionObjectConcept}
+
+\begin{ccRefFunctionObjectConcept}{CircularKernel::ConstructCircularSourceVertex_2} 
+
+\ccCreationVariable{fo}
+
+A model \ccVar\ of this type must provide:
+
+\ccMemberFunction{CircularKernel::Circular_arc_point_2 operator()
+	(const CircularKernel::Circular_arc_2 & c);}
+{Constructs the source vertex of \ccc{c}.}
+
+\ccMemberFunction{CircularKernel::Circular_arc_point_2 operator()
+	(const CircularKernel::Line_arc_2 & l);}
+{Same, for a line segment.}
+
+\end{ccRefFunctionObjectConcept}
+
+\begin{ccRefFunctionObjectConcept}{CircularKernel::ConstructCircularTargetVertex_2} 
+
+\ccCreationVariable{fo}
+
+A model \ccVar\ of this type must provide:
+
+\ccMemberFunction{CircularKernel::Circular_arc_point_2 operator()
+	(const CircularKernel::Circular_arc_2 & c);}
+{Constructs the target vertex of \ccc{c}.}
+
+\ccMemberFunction{CircularKernel::Circular_arc_point_2 operator()
+	(const CircularKernel::Line_arc_2 & l);}
+{Same, for a line segment.}
+
+\end{ccRefFunctionObjectConcept}
 
 \begin{ccRefFunctionObjectConcept}{CircularKernel::MakeXMonotone_2}