diff --git a/Jupyter_Pages/README.md b/Jupyter_Pages/README.md
index 4eddc85e723bc5b5a3a326a945f59387ddf71420..7ab61a54ec68feb4028dc315d1459319791cded5 100644
--- a/Jupyter_Pages/README.md
+++ b/Jupyter_Pages/README.md
@@ -28,7 +28,7 @@ If you don't provide your name and e-mail, ``git`` will tempt you to configure t
 To make the above easier, you could put the ``export`` commands in a personal ``myname.sh`` file which you then run in your shell using ``source myname.sh`` before running ``git commit``:
 
     # do this once
-    echo > ~/myname_creds.sh <<HEREDOC
+    cat > ~/myname_creds.sh <<HEREDOC
     export GIT_AUTHOR_NAME="Your Name"
     export GIT_AUTHOR_EMAIL="you@astron.nl"
     export GIT_COMMITTER_NAME="$GIT_AUTHOR_NAME"