Correction on travis.yml