Another tweak to get Jenkins green again