Correct travis settings