Travis CI fix