patching Bit-Vector