jenkins.sh: typo