minor fix for bitvector compare