# Minor cleanup to the Travis config