bugfix for set serialization in binary protocol