Document IndexedBitfield invariant