properly load bitvector setting into menu