ShortBitVector: fixes