minor fix

1 files changed, 3 insertions, 3 deletions

diff --git a/news/2019-06-DSTJ.inc b/news/2019-06-DSTJ.inc
index a7437e85..cfe3f357 100644
--- a/news/2019-06-DSTJ.inc
+++ b/news/2019-06-DSTJ.inc
@@ -1,12 +1,12 @@
 <article>
   <h3><a name="">2019-06-28: Peer DSTJ is dead, long live peer Y924</a></h3>
   <p>
-    After some issues with our infrastructure we needed to replace our bootstrapping peer. To avoid problems when connecting to GNUnet the operator of a peer needs to update its node by removing the peer ID <code>DSTJBRRKZ8TBW3FGK6B0M5QXWT9WYNZ45H5MCV4HY7ST64Q8T9F0</code> from the system. Here are two strategies to find copies of the respective file:
+    After some issues with our infrastructure we needed to replace our bootstrapping peer. To avoid problems when connecting to GNUnet the operator of a peer needs to update its node by removing the peer ID <tt>DSTJBRRKZ8TBW3FGK6B0M5QXWT9WYNZ45H5MCV4HY7ST64Q8T9F0</tt> from the system. Here are two strategies to find copies of the respective file:
   </p>
   <p>
     <ol>
-      <li><code>$ find / -name DSTJBRRKZ8TBW3FGK6B0M5QXWT9WYNZ45H5MCV4HY7ST64Q8T9F0</code></li>
-      <li><code>$ locate DSTJBRRKZ8TBW3FGK6B0M5QXWT9WYNZ45H5MCV4HY7ST64Q8T9F0</code></li>
+      <li><tt>$ find / -name DSTJBRRKZ8TBW3FGK6B0M5QXWT9WYNZ45H5MCV4HY7ST64Q8T9F0</tt></li>
+      <li><tt>$ locate DSTJBRRKZ8TBW3FGK6B0M5QXWT9WYNZ45H5MCV4HY7ST64Q8T9F0</tt></li>
     </ol>
   </p>
 </article>