Fix typo in Jenkinsfile for feature5837

No match.