correct travis configuration.