correct travis configuration