fix bitset bugs