diff --git a/docs/releasing.html b/docs/releasing.html
index 7c4e213fb92..8f0882b9369 100644
--- a/docs/releasing.html
+++ b/docs/releasing.html
@@ -520,7 +520,7 @@ So we do a quick 'touch test'
 
 <p>
 The release notes are completely generated by the
-<pre>bin/gen_release_notes.py</pre> script. Simply run this script before
+<code>bin/gen_release_notes.py</code> script. Simply run this script before
 bumping the version
 
 The only thing left to do is add the sha256 sums.
@@ -576,7 +576,7 @@ Something like the following steps will do the trick:
 	git cherry-pick -x X.Y
 </pre>
 
-<p>Then run the <pre>./bin/post_verison.py X.Y.Z</pre>, where X.Y.Z is the
+<p>Then run the <code>./bin/post_verison.py X.Y.Z</code>, where X.Y.Z is the
 version you just made. This will updated docs/relnotes.html and
 docs/index.html. Remove docs/release-calendar.html. Then commit and push:
 </p>