diff --git a/Algebraic_foundations/doc/Algebraic_foundations/Concepts/RealEmbeddable.h b/Algebraic_foundations/doc/Algebraic_foundations/Concepts/RealEmbeddable.h
index c22e4f65e9d..d63ee30a724 100644
--- a/Algebraic_foundations/doc/Algebraic_foundations/Concepts/RealEmbeddable.h
+++ b/Algebraic_foundations/doc/Algebraic_foundations/Concepts/RealEmbeddable.h
@@ -38,7 +38,7 @@ If a number type is a model of both `IntegralDomainWithoutDivision` and
 `RealEmbeddable`, it follows that the ring represented by such a number type 
 is a sub-ring of the real numbers and hence has characteristic zero. 
 
-\cgalRefines `Equality` Comparable 
+\cgalRefines `EqualityComparable`
 \cgalRefines `LessThanComparable` 
 
 \sa `RealEmbeddableTraits`