Fix travis config file.