I think `fixRange()` and `fixIndex()` are suitably complicated to deserve a longer comment explaining the failure mode and how we're protecting against it.