Fix to Travis-CI config.