Fix typo in Jenkinsfile