Correction on travis config file