diff --git a/language/types/singleton.xml b/language/types/singleton.xml
index 4ba0a1d568..997467372b 100644
--- a/language/types/singleton.xml
+++ b/language/types/singleton.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="utf-8"?>
-<!-- EN-Revision: f908fff129bcd8ec1605658e06457cb04e5b2b51 Maintainer: Fan2Shrek Status: ready -->
+<!-- EN-Revision: 828980b619bb4300e196924598b6a5d398f630e4 Maintainer: Fan2Shrek Status: ready -->
 <!-- Reviewed: yes -->
 <sect1 xml:id="language.types.singleton">
  <title>Type singleton</title>