Wait, isn’t Lottie’s first name “Charlotte,” not “Carlotta”?