Bugfix in set concatenation.