Fix jenkins' complaint.