* Another stupid mistake in the travis file