Fix travis manifest