diff --git a/doc/src/sgml/release-9.5.sgml b/doc/src/sgml/release-9.5.sgml
index f5c53374480..a46d2f680a1 100644
--- a/doc/src/sgml/release-9.5.sgml
+++ b/doc/src/sgml/release-9.5.sgml
@@ -1,4 +1,4 @@
-/<!-- doc/src/sgml/release-9.5.sgml -->
+<!-- doc/src/sgml/release-9.5.sgml -->
 <!-- See header comment in release.sgml about typical markup -->
 
  <sect1 id="release-9-5">