Corrected travis config