bug fixes to set operators