Another change to the travis config