More corrections to travis.yml.