venn2way.py minor change;