Just to be clear, I think this is a necessary fix, for the consistency of the implementation of `BitArray` (which makes this particular assumption a lot...). Just it needs to document its exact semantics.