Update proxy_through_ssh.md

Even better style