Fix for converse set membership

I think the converse set membership won't work without this change.