Another amendment to Travis config