Bug fix for travis.yml