Patty in this special is not Patricia "Peppermint Patty" Reichardt. The latter first appeared several years later in the strip. The former was phased out gradually, disappearing completely by the end of the 1970s, despite being one of the four original Peanuts characters.
read more facts...
