#8548: Typo corrections