diff --git a/docs/developer/release/README-release-process.html b/docs/developer/release/README-release-process.html
index 8abf68ff273..8c1cc334fd1 100644
--- a/docs/developer/release/README-release-process.html
+++ b/docs/developer/release/README-release-process.html
@@ -178,10 +178,13 @@ <h2 id="step_by_step">Step by Step</h2>
   </li>
   <li>
       <strong>In a user-specific temporary directory, clone/update the Checker Framework repository (it contains the release scripts).</strong><br/>
-      <code>mkdir -p /scratch/$USER/cf-release<br/></code>
-      <code>cd /scratch/$USER/cf-release<br/></code>
-      <code>test -d checker-framework && (cd checker-framework && git pull --ff-only --quiet) || git clone --quiet https://github.com/typetools/checker-framework.git<br/></code>
-      <code>cd checker-framework/docs/developer/release<br/></code>
+      <pre><code>
+  mkdir -p /scratch/$USER/cf-release
+  chmod -R types_www /scratch/$USER/cf-release
+  cd /scratch/$USER/cf-release
+  test -d checker-framework && (cd checker-framework && git pull --ff-only --quiet) || git clone --quiet https://github.com/typetools/checker-framework.git
+  cd checker-framework/docs/developer/release
+        </code></pre>
     (The release scripts will checkout and build all dependencies.)
   </li>
   <li><strong>Run release_build</strong> to create the release artifacts and place them in the development website<br/>
@@ -247,7 +250,7 @@ <h2 id="pre_release_checklist">Pre-release Checklist</h2>
     <tr>
       <td>1.</td>
       <td><strong>Ensure you are a member of the types_www and pl_gang groups</strong><br/>
-        Run the command "groups" on the file system (perhaps on Buffalo).
+        Run the command "groups" on the CSE file system (perhaps on Buffalo).
         If the group types_www or pl_gang do not appear in the list, email the appropriate
         person to be added (currently Michael Ernst).
       </td>