Jenkins fix