Bugfix for set operation