fix a minor bug with filtered map serialization
benchmark cleanup