Correction of TravisCI file