Corrected travis CI issue