Fix broken character in jenkins-config