diff --git a/INSTALL b/INSTALL
index b3307f34f34..43d06c5787a 100644
--- a/INSTALL
+++ b/INSTALL
@@ -192,7 +192,7 @@ Substitute your paths appropriately.
       then shut down the old server, at the latest before you install the new
       files:
 
-        kill -INT `cat /usr/local/pgsql/data/postmaster.pid`
+        kill -INT `cat /usr/local/pgsql/data/postmaster.pid | sed 1q`
 
       Versions prior to 7.0 do not have this "postmaster.pid" file. If you are
       using such a version you must find out the process ID of the server
diff --git a/doc/src/sgml/installation.sgml b/doc/src/sgml/installation.sgml
index 77c472540fe..26cc7add5d6 100644
--- a/doc/src/sgml/installation.sgml
+++ b/doc/src/sgml/installation.sgml
@@ -1,4 +1,4 @@
-<!-- $PostgreSQL: pgsql/doc/src/sgml/installation.sgml,v 1.187 2003/11/29 19:51:37 pgsql Exp $ -->
+<!-- $PostgreSQL: pgsql/doc/src/sgml/installation.sgml,v 1.188 2003/12/11 19:56:54 petere Exp $ -->
 
 <chapter id="installation">
  <title><![%standalone-include[<productname>PostgreSQL</>]]>
@@ -423,7 +423,7 @@ JAVACMD=$JAVA_HOME/bin/java
      old one then shut down the old server, at the latest before you
      install the new files:
 <screen>
-<userinput>kill -INT `cat /usr/local/pgsql/data/postmaster.pid`</>
+<userinput>kill -INT `cat /usr/local/pgsql/data/postmaster.pid | sed 1q`</>
 </screen>
      Versions prior to 7.0 do not have this
      <filename>postmaster.pid</> file. If you are using such a version