StateVector: fixed bug in bitmask