NO, that’s the irony of the whole thing: THAT’S her married name! SHE did it, not her parents! Meant to be together?? you tell me...)
Even better!
My wife had a childhood friend named “Merry.”
She married a guy whose last name was “Christmas.” I kid you not.