Corrected travis coverage