diff --git a/download.html b/download.html
index 0917de0cf92d4b64f94ed4d88e2dce1861fdda48_ZG93bmxvYWQuaHRtbA==..c22e439112907a92b708fceb658dc23fcf980a78_ZG93bmxvYWQuaHRtbA== 100644
--- a/download.html
+++ b/download.html
@@ -182,8 +182,8 @@
 <li>The most up-to-date <a class="reference external" href="http://buildbot.pypy.org/nightly/trunk/">nightly binary builds</a> with a JIT, if the official
 release is too old for what you want to do. There are versions for
 different libc on this site too.</li>
-<li>Reverse debugger (RevDB): This version enables debugging your Python
-programs by going forward and backward in time.  See the <a class="reference external" href="https://bitbucket.org/pypy/revdb/">separate
+<li>Reverse debugger: This version enables debugging your Python
+programs by going forward and backward in time.  See the <a class="reference external" href="https://bitbucket.org/pypy/revdb/">RevDB
 documentation</a>.</li>
 </ul>
 <ul class="simple">
diff --git a/source/download.txt b/source/download.txt
index 0917de0cf92d4b64f94ed4d88e2dce1861fdda48_c291cmNlL2Rvd25sb2FkLnR4dA==..c22e439112907a92b708fceb658dc23fcf980a78_c291cmNlL2Rvd25sb2FkLnR4dA== 100644
--- a/source/download.txt
+++ b/source/download.txt
@@ -189,8 +189,8 @@
   release is too old for what you want to do. There are versions for
   different libc on this site too.
 
-* Reverse debugger (RevDB): This version enables debugging your Python
-  programs by going forward and backward in time.  See the `separate
+* Reverse debugger: This version enables debugging your Python
+  programs by going forward and backward in time.  See the `RevDB
   documentation`__.
 
 .. __: https://bitbucket.org/pypy/revdb/