Add amendment to Travis config file