[TylerE]

It's an editorial correction. E.g. fixing a typo to what was obviously intended, while indicating it isn't an exact quote.