Bugfix in .travis.yml