Fixed another Jenkins error.