small tweaks to sets module