Another correction to the travis file