Correct typo (fixes #9292)