Minor changes in travis.yml