Fix bug in .travis.yaml for travis