More comments describing the unordered internals.
And fix a couple of small mistakes in the existing comments.