Fix typo in jenkins.sh