Fix travis#13