correction of the travis problem