Fix typo noted by Brian.

As a drive-by, spell out what's happening explicitly,
mostly so that the sets involved appear textually
near each other.