slight change to jenkins script