Fix the difference method on bit vectors