venn2way.py bugfix