Jack the Ripper? What the hell?

What was that weird stuff about the origin of "carol" in the Christmas Eve story? Doesn't anybody down there have a dictionary? All it takes is a glance in our dictionary friend to see that "carol" meaning "Christmas hymn" dates back to 1502 and probably earlier and first appeared as a musical term in English in the 1300s or earlier. OK, so it was identified as an "urban legend" in the story, but do we print urban legends as fact these days?