On one hand you're correct, but on the other hand Carol is a very common name and this is a very reasonable reaction. I'm split, and I think this is plausible enough to take seriously.