diff --git a/language/types.xml b/language/types.xml
index 5e5fe2dacf..0590c85d2e 100644
--- a/language/types.xml
+++ b/language/types.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="iso-8859-1"?>
-<!-- $Revision: 1.73 $ -->
+<!-- $Revision: 1.74 $ -->
  <chapter id="language.types">
   <title>Types</title>
 
@@ -270,7 +270,7 @@ if ($show_separators) {
      
     <para>
      See also:
-     <link linkend="ref.gmp">Arbitrary precision integers</link> and
+     <link linkend="ref.gmp">Arbitrary length integers</link> and
      <link linkend="language.types.float">Floating point numbers</link>
     </para>