Fix travis config...