diff --git a/reference/misc/constants.xml b/reference/misc/constants.xml
index fe5cbcfde7..20671e1325 100644
--- a/reference/misc/constants.xml
+++ b/reference/misc/constants.xml
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="utf-8"?>
 <!-- $Revision$ -->
-<!-- EN-Revision: a0ae28d3bc85f927c22649ebd9a590b921534b7d Maintainer: yannick Status: ready -->
+<!-- EN-Revision: e43797863fd4216bd2bcb240f7b497fa3057d287 Maintainer: yannick Status: ready -->
 <!-- Reviewed: yes -->
 
 <appendix xml:id="misc.constants" xmlns="http://docbook.org/ns/docbook" xmlns:xlink="http://www.w3.org/1999/xlink">
@@ -40,7 +40,7 @@
     </simpara>
    </listitem>
   </varlistentry>
-  <varlistentry xml:id="constant.--compiler-halt-offset--">
+  <varlistentry xml:id="constant.compiler-halt-offset--">
    <term>
     <constant>__COMPILER_HALT_OFFSET__</constant>
     (<type>int</type>)