Exactly my thoughts. I work with children sometimes, I allow them a giggle or two and try to educate them politely afterwards. But giggles coming from an adult? You are not 7 years old. However, I’ll still take this opportunity, as you said. She might even learn something new