Jenkins config fix.