Correct Travis setup