Fixing Travis CI script