Fixing Travis CI config.