diff --git a/Number_types/doc/Number_types/CGAL/MP_Float.h b/Number_types/doc/Number_types/CGAL/MP_Float.h
index ac2c6124b75..47167bd7188 100644
--- a/Number_types/doc/Number_types/CGAL/MP_Float.h
+++ b/Number_types/doc/Number_types/CGAL/MP_Float.h
@@ -24,7 +24,7 @@ plan to also have a multiprecision exponent to fix this issue.
 
 The implementation of `MP_Float` is simple but provides a quadratic
 complexity for multiplications. This can be a problem for large operands.
-For faster implementations of the same functionality, if `GMP` is available,
+For faster implementations of the same functionality, if \gmp is available,
 you may want to consider using `Mpzf` or `Gmpzf`.
 
 */