Fix typo in Jenkinsfile for feature5837