Bug fix in .travis.yml