Corrected travis CI