Fix travis flag