diff --git a/chapters/install.problems.xml b/chapters/install.problems.xml
index 0a3c839fb1..a03c9dea7f 100644
--- a/chapters/install.problems.xml
+++ b/chapters/install.problems.xml
@@ -1,4 +1,6 @@
 <?xml version="1.0" encoding="iso-8859-1"?>
+<!-- $Revision: 1.3 $ -->
+
   <sect1 id="install.problems">
    <title>Problems?</title>