diff --git a/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/ExplicitInteroperable.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/ExplicitInteroperable.tex
index 7b883b9f29d..2c32734c439 100644
--- a/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/ExplicitInteroperable.tex
+++ b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/ExplicitInteroperable.tex
@@ -11,8 +11,8 @@ In this case \ccc{Coercion_traits<A,B>::Are_explicit_interoperable}
 is \ccc{Tag_true}.
 
 \ccc{A} and \ccc{B} are valid argument types for all binary functors in 
-\ccc{Algebraic_structure_traits<Type>} and \ccc{Real_embeddable_traits<RET>}.   
-This is also true for the respective global functions. 
+\ccc{Algebraic_structure_traits<Type>} and \ccc{Real_embeddable_traits<Type>}.   
+This is also the case for the respective global functions. 
 
 \ccSeeAlso
 \ccRefIdfierPage{CGAL::Coercion_traits<A,B>}\\