diff --git a/admin-guide/puppet/development.rst b/admin-guide/puppet/development.rst
index 628c2f0c..295b4837 100644
--- a/admin-guide/puppet/development.rst
+++ b/admin-guide/puppet/development.rst
@@ -20,7 +20,7 @@ The typical workflow would be:
    #. users makes the proper add/commit into the directory and finally pushes the code;
    #. from the git server web interface user triggers a merge request of the ``issue_x`` into the ``preprod`` branch.
 
-Please note that ssh to the puppet server has to be done via ``wmgt`` nodes.
+Please note that ssh to the puppet server has to be done via ``wmgt`` nodes, e.g by using the option ``-oProxyJump=wmgt01.psi.ch``.
 
 Environment names
 -----------------
@@ -47,6 +47,6 @@ The file should be in the form of::
 
 And should then be passed in the command like::
 
-   sshfs -o idmap=file,uidfile=/Users/talamoig/uidmap,nomap=ignore talamo_i@puppet01:/ ~/puppetenvs
+   sshfs -o idmap=file,uidfile=/Users/talamoig/uidmap,nomap=ignore,ProxyJump=wmgt01.psi.ch talamo_i@puppet01:/ ~/puppetenvs