Jenkins fixes