Small changes to Travis config.