Jenkins fixup