BitSet data was incorrect; fixed.