Issue #20730: Fix typo reported by Claudiu Popa.