diff --git a/.pick_status.json b/.pick_status.json
index 902b1cc0f94..5ed43f11ec9 100644
--- a/.pick_status.json
+++ b/.pick_status.json
@@ -2974,7 +2974,7 @@
         "description": "docs: use code-tags instead of pre-tags",
         "nominated": true,
         "nomination_type": 1,
-        "resolution": 0,
+        "resolution": 1,
         "master_sha": null,
         "because_sha": "ca0c1e69cab67276b2f701f7c3ea43658a52fd83"
     },
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>