Correct travis configuration