diff --git a/reference/gmp/functions/gmp-random.xml b/reference/gmp/functions/gmp-random.xml
index 41fc3e0646..a8412d0440 100644
--- a/reference/gmp/functions/gmp-random.xml
+++ b/reference/gmp/functions/gmp-random.xml
@@ -7,7 +7,7 @@
  </refnamediv>
 
  <refsynopsisdiv>
-  &warn.deprecated.function-7-2-0;
+  &warn.deprecated.function-7-2-0.removed-8-0-0;
  </refsynopsisdiv>
  
  <refsect1 role="description">