diff --git a/language/types.xml b/language/types.xml
index 8187f7ca2..36657402d 100644
--- a/language/types.xml
+++ b/language/types.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="utf-8"?>
-<!-- EN-Revision: 5fccbe5195820cd9ec0045674312ec567ef5f6ed Maintainer: pastore Status: ready -->
+<!-- EN-Revision: f908fff129bcd8ec1605658e06457cb04e5b2b51 Maintainer: pastore Status: ready -->
 <!-- Reviewed: no Maintainer: cucinato -->
 <!-- CREDITS: cucinato -->
 <chapter xml:id="language.types" xmlns="http://docbook.org/ns/docbook">
@@ -30,6 +30,8 @@
    fase di esecuzione. Tuttavia, è possibile tipizzare staticamente alcuni aspetti del
    linguaggio tramite l'uso delle
    <link linkend="language.types.declarations">dichiarazioni dei tipi</link>.
+   I diversi tipi supportati dal sistema di tipi di PHP possono essere trovati nella
+   pagina <link linkend="language.types.type-system">sistema di tipi</link>.
   </para>
 
   <para>
@@ -131,7 +133,7 @@ int(16)
  &language.types.void;
  &language.types.never;
  &language.types.relative-class-types;
- &language.types.value;
+ &language.types.singleton;
  &language.types.iterable;
  &language.types.declarations;
  &language.types.type-juggling;