Fixing bugs in .travis.yml