diff --git a/doc/spec/dir-spec.txt b/doc/spec/dir-spec.txt
index 71b588cffa..e7f007d6fc 100644
--- a/doc/spec/dir-spec.txt
+++ b/doc/spec/dir-spec.txt
@@ -1164,6 +1164,9 @@ $Id$
         * The version is given as whichever version is listed by the most
           voters, with ties decided in favor of more recent versions.
 
+        * If consensus-method 4 or later is in use, then routers that
+          do not have the Running flag are not listed at all.
+
      The signatures at the end of a consensus document are sorted in
      ascending order by identity digest.
 
@@ -1182,6 +1185,7 @@ $Id$
      "1" -- The first implemented version.
      "2" -- Added support for the Unnamed flag.
      "3" -- Added legacy ID key support to aid in authority ID key rollovers
+     "4" -- No longer list routers that are not running in the consensus
 
    Before generating a consensus, an authority must decide which consensus
    method to use.  To do this, it looks for the highest version number
diff --git a/doc/spec/proposals/000-index.txt b/doc/spec/proposals/000-index.txt
index ea7e956c04..3c13bb1ec9 100644
--- a/doc/spec/proposals/000-index.txt
+++ b/doc/spec/proposals/000-index.txt
@@ -60,7 +60,7 @@ Proposals by number:
 135  Simplify Configuration of Private Tor Networks [OPEN]
 136  Mass authority migration with legacy keys [OPEN]
 137  Keep controllers informed as Tor bootstraps [OPEN]
-138  Remove routers that are not Running from consensus documents [OPEN]
+138  Remove routers that are not Running from consensus documents [CLOSED]
 
 
 Proposals by status:
@@ -78,7 +78,6 @@ Proposals by status:
    135  Simplify Configuration of Private Tor Networks
    136  Mass authority migration with legacy keys
    137  Keep controllers informed as Tor bootstraps
-   138  Remove routers that are not Running from consensus documents
  NEEDS-REVISION:
    110  Avoiding infinite length circuits
    117  IPv6 exits
@@ -110,6 +109,7 @@ Proposals by status:
    126  Getting GeoIP data and publishing usage summaries
    129  Block Insecure Protocols by Default
    130  Version 2 Tor connection protocol
+   138  Remove routers that are not Running from consensus documents
  SUPERSEDED:
    112  Bring Back Pathlen Coin Weight
    113  Simplifying directory authority administration
diff --git a/doc/spec/proposals/138-remove-down-routers-from-consensus.txt b/doc/spec/proposals/138-remove-down-routers-from-consensus.txt
index 5abd287df0..c20f705a12 100644
--- a/doc/spec/proposals/138-remove-down-routers-from-consensus.txt
+++ b/doc/spec/proposals/138-remove-down-routers-from-consensus.txt
@@ -4,7 +4,7 @@ Version: $Revision$
 Last-Modified: $Date$
 Author: Peter Palfrader
 Created: 11-Jun-2008
-Status: Open
+Status: Closed
 
 1. Overview.