diff --git a/reference/misc/ini.xml b/reference/misc/ini.xml
index 549b5a0e6..87d84fc52 100644
--- a/reference/misc/ini.xml
+++ b/reference/misc/ini.xml
@@ -43,7 +43,7 @@
       <entry></entry>
      </row>
      <row>
-      <entry><link linkend="ini.syntax-highlighting">highlight.html</link></entry>
+      <entry><link linkend="ini.syntax-highlighting">highlight.default</link></entry>
       <entry>"#0000BB"</entry>
       <entry><constant>INI_ALL</constant></entry>
       <entry></entry>