More edits in travis.yml