travis.yml correction