corrected travis CI config