diff --git a/doc/5.x-final.md b/doc/5.x-final.md
index 95082bdb515b50323f63174fffb3e7c788ed05e8..72cf045d1fb23a0c3c5abc1be79bcd0f535d5f44 100644
--- a/doc/5.x-final.md
+++ b/doc/5.x-final.md
@@ -89,7 +89,7 @@ check depend on a file named `versions.json`. Update this.
 
 ```
 ## Find and examine the current list of branches.
-cd /var/www/latest.civicrm.org/public/
+pushd /var/www/latest.civicrm.org/public/
 ls -la versions.json
 ./bin/pb branch:list
 
@@ -115,11 +115,14 @@ Finally:
 ## Make the change persistent.
 git commit versions.json
 git push origin master
+
+## Go back
+popd
 ```
 
 ## 6: Make new versions visible on download sites
 
-Log into ~~https://civicrm.org/user~~ https://d8.civicrm.org/user and clear the page-cache in ~~https://civicrm.org/admin/config/development/performance~~ https://d8.civicrm.org/admin/config/development/performance
+Log into https://civicrm.org/user and clear the page-cache in https://civicrm.org/admin/config/development/performance
 
 <!-- civicrm.org is in a migration from D7=>D8. These details may be in flux until that settles. -->