Fix travis setting