#9731: Typo