Another Travis folding correction