Correcting some bugs related to supportingSet