diff --git a/assign9.md b/assign9.md
index 4fbe0c8dd33ece063facaf19d053d1ae9ec33a1d..e6b592deb38fc88b65fd1f3787fdccb56eb66c68 100644
--- a/assign9.md
+++ b/assign9.md
@@ -54,7 +54,7 @@ windows as well, but I have no direct experience with that.
 Steps:
 - [Install docker](https://www.docker.com/get-started/)
 - Build your image: `docker build -t assign9 .`
-- Start a container based on that image, and attach to a bash shell in it: `docker run -v "$(PWD)":/assign9 -it assign9`.
+- Start a container based on that image, and attach to a bash shell in it: `docker run -v "$(PWD)":/assign9 -it assign9` (``docker run -v `pwd`:/assign9 -it assign9`` for `tcsh`).
   - You will drop right into `/assign9`, which is where the enclosing
     directory is mounted in the container.
   - Any changes you make either in this container directory, or