diff --git a/docs/development/request-remote.md b/docs/development/request-remote.md
index 88dbe10389..ec2439777c 100644
--- a/docs/development/request-remote.md
+++ b/docs/development/request-remote.md
@@ -56,7 +56,7 @@ Once your remote dev instance is ready:
   `ssh zulipdev@<username>.zulipdev.org` on the command line
   (Terminal for macOS and Linux, Bash for Git on Windows).
 - There is no password; your account is configured to use your SSH keys.
-- Once you log in, you should see `(zulip-venv) ~$`.
+- Once you log in, you should see `(zulip-py3-venv) ~$`.
 - To start the dev server, `cd zulip` and then run `./tools/run-dev.py`.
 - While the dev server is running, you can see the Zulip server in your browser
   at http://username.zulipdev.org:9991.