Fixing Travis CI integration