bug in the travis file