fix typo in jenkins configurator