correction of a mistake i made to the travis-ci files'