Small fix in .travis.yml