Amendment to Travis config