correct travis config.