Sneaky tweak for Jenkins