Fix travis issue