Do I want to ask what todding is? Should I even ask? ;-)
No, you shouldn't ask! A polite person would say "poor dear was so tired, I won't poke fun at her for a sleepy typo"
HA!