potential fix to bad BitSet received