More corrections of .travis.yml