diff --git a/doc/FAQ b/doc/FAQ
index 5e37e45f8fb..e3053e47305 100644
--- a/doc/FAQ
+++ b/doc/FAQ
@@ -1,7 +1,7 @@
 
                 Frequently Asked Questions (FAQ) for PostgreSQL
                                        
-   Last updated: Mon Aug 20 16:37:10 EDT 2001
+   Last updated: Tue Aug 21 07:05:48 EDT 2001
    
    Current maintainer: Bruce Momjian (pgman@candle.pha.pa.us)
    
@@ -234,7 +234,7 @@
    
     1.7) What is the latest release?
     
-   The latest release of PostgreSQL is version 7.1.2.
+   The latest release of PostgreSQL is version 7.1.3.
    
    We plan to have major releases every four months.
    
diff --git a/doc/src/FAQ/FAQ.html b/doc/src/FAQ/FAQ.html
index ce6c0781a09..ef698e7ae90 100644
--- a/doc/src/FAQ/FAQ.html
+++ b/doc/src/FAQ/FAQ.html
@@ -12,7 +12,7 @@
   alink="#0000FF">
     <H1>Frequently Asked Questions (FAQ) for PostgreSQL</H1>
 
-    <P>Last updated: Mon Aug 20 16:37:10 EDT 2001</P>
+    <P>Last updated: Tue Aug 21 07:05:48 EDT 2001</P>
 
     <P>Current maintainer: Bruce Momjian (<A href=
     "mailto:pgman@candle.pha.pa.us">pgman@candle.pha.pa.us</A>)<BR>
@@ -312,7 +312,7 @@
 
     <H4><A name="1.7">1.7</A>) What is the latest release?</H4>
 
-    <P>The latest release of PostgreSQL is version 7.1.2.</P>
+    <P>The latest release of PostgreSQL is version 7.1.3.</P>
 
     <P>We plan to have major releases every four months.</P>