Fix travis badge.