diff --git a/INSTALL b/INSTALL
index 3fe4fd5514..5a86468edf 100644
--- a/INSTALL
+++ b/INSTALL
@@ -4,7 +4,7 @@ Table of Contents
 Before you start
 Installation Procedure
 
-     Installation instructions for PostgreSQL 7.0.0.
+     Installation instructions for PostgreSQL 7.0.
 
 Commands were tested on RedHat Linux version 5.2 using the bash shell.
 Except where noted, they will probably work on most systems. Commands like
@@ -14,9 +14,9 @@ Use common sense before typing in these commands.
 If you haven't gotten the PostgreSQL distribution, get it from
 ftp.postgresql.org, then unpack it:
 
-$ gunzip postgresql-7.0.0.tar.gz
-$ tar -xf postgresql-7.0.0.tar
-$ mv postgresql-7.0.0 /usr/src
+$ gunzip postgresql-7.0.tar.gz
+$ tar -xf postgresql-7.0.tar
+$ mv postgresql-7.0 /usr/src
 
 Again, these commands might differ on your system.
 
@@ -267,7 +267,7 @@ suggestions.
 
    * You probably want to install the man and HTML documentation. Type
 
-     $ cd /usr/src/pgsql/postgresql-7.0.0/doc
+     $ cd /usr/src/pgsql/postgresql-7.0/doc
      $ gmake install
 
      This will install files under /usr/local/pgsql/doc.
@@ -346,5 +346,5 @@ suggestions.
      verify that PostgreSQL runs on your machine in the way the developers
      expected it to. You should definitely do this before putting a server
      into production use. The file
-     /usr/src/pgsql/postgresql-7.0.0/src/test/regress/README has detailed
+     /usr/src/pgsql/postgresql-7.0/src/test/regress/README has detailed
      instructions for running and interpreting the regression tests.
diff --git a/doc/src/sgml/install.sgml b/doc/src/sgml/install.sgml
index 05127939fb..b7a72da96d 100644
--- a/doc/src/sgml/install.sgml
+++ b/doc/src/sgml/install.sgml
@@ -4,7 +4,7 @@
   <Abstract>
    <Para>
     Installation instructions for 
-    <ProductName>PostgreSQL</ProductName> 7.0.0.
+    <ProductName>PostgreSQL</ProductName> 7.0.
    </Para>
   </Abstract>
 
@@ -21,9 +21,9 @@
    get it from <ULink url="ftp://ftp.postgresql.org">ftp.postgresql.org</ULink>,
    then unpack it:
 <ProgramListing>
-$ gunzip postgresql-7.0.0.tar.gz
-$ tar -xf postgresql-7.0.0.tar
-$ mv postgresql-7.0.0 /usr/src
+$ gunzip postgresql-7.0.tar.gz
+$ tar -xf postgresql-7.0.tar
+$ mv postgresql-7.0 /usr/src
 </ProgramListing>
    Again, these commands might differ on your system.
   </Para>
@@ -417,7 +417,7 @@ and <filename>initdb</filename>.
 You probably want to install the <application>man</application> and
 <acronym>HTML</acronym> documentation. Type
 <ProgramListing>
-$ cd /usr/src/pgsql/postgresql-7.0.0/doc
+$ cd /usr/src/pgsql/postgresql-7.0/doc
 $ gmake install
 </ProgramListing>
 This will install files under <filename>/usr/local/pgsql/doc</filename>.
@@ -534,7 +534,7 @@ Then make a softlink to this file from
 Run the regression tests. The regression tests are a test suite to verify that
 PostgreSQL runs on your machine in the way the developers expected it to.
 You should definitely do this before putting a server into production use.
-The file <filename>/usr/src/pgsql/postgresql-7.0.0/src/test/regress/README</filename>
+The file <filename>/usr/src/pgsql/postgresql-7.0/src/test/regress/README</filename>
 has detailed
 instructions for running and interpreting the regression tests.
 </Para>