Fix a mistake in the travis.yml file