Correction on travis config