Remove needless option
Remove venn from a example