diff --git a/doc/tor-doc.html b/doc/tor-doc.html
index 6f0a27c2c9..1b95dcdf84 100644
--- a/doc/tor-doc.html
+++ b/doc/tor-doc.html
@@ -247,9 +247,9 @@ href="#client-or-server">the section above</a>.
 <p>To set up a Tor server, do the following steps after installing Tor.
 (These instructions are Unix-centric; if you're excited about working
 with the Tor developers to get a Tor server working on Windows, let us
-know and we'll work with you to fix whatever bugs come up -- currently
+know and we'll work with you to fix whatever bugs come up.) <!-- currently
 there are some known bugs that keep Tor from working as a server on
-native Win32.)
+native Win32.) -->
 </p>
 
 <ul>