Fix travis coverage