diff --git a/doc/darcs.html b/doc/darcs.html
index a2c189ae4..d21a6134d 100644
--- a/doc/darcs.html
+++ b/doc/darcs.html
@@ -253,7 +253,7 @@ Then you can push the patch(es) to the main repo. If you are using
 ssh-access, all you need to do is:
 </P>
 <PRE>
-  $ darcs push ```
+  $ darcs push
 </PRE>
 <P></P>
 <P>
@@ -318,9 +318,10 @@ See above.
 <A NAME="toc21"></A>
 <H3>Using ssh-agent</H3>
 <P>
-**NOTE: the method below will not work with MEDIC's new systems, such as
- momo.medic.chalmers.se since MEDIC has decided to disable public key
- authentication on all new machines. **
+<B>NOTE: the method below will not work with <CODE>momo.medic.chalmers.se</CODE></B>.
+MEDIC has decided to disable public key authentication on all new machines.
+This section is included just for reference in case they decide to enable
+it again.
 </P>
 <P>
 With the ssh access method, Darcs needs to log in with ssh. For some
diff --git a/doc/darcs.txt b/doc/darcs.txt
index 6875b3b98..107ca4776 100644
--- a/doc/darcs.txt
+++ b/doc/darcs.txt
@@ -197,7 +197,9 @@ repository.
 Then you can push the patch(es) to the main repo. If you are using
 ssh-access, all you need to do is:
 
-``` $ darcs push ```
+```
+$ darcs push
+```
 
 If you use the ``-a`` flag to push, all local patches which are not in
 the main repo are pushed.
@@ -257,9 +259,10 @@ See above.
 
 === Using ssh-agent ===
 
-**NOTE: the method below will not work with MEDIC's new systems, such as
- momo.medic.chalmers.se since MEDIC has decided to disable public key
- authentication on all new machines. **
+**NOTE: the method below will not work with ``momo.medic.chalmers.se``**.
+MEDIC has decided to disable public key authentication on all new machines.
+This section is included just for reference in case they decide to enable
+it again.
 
 With the ssh access method, Darcs needs to log in with ssh. For some
 reason it needs to do this several times for each operation. You can