Issue #13237: fix typo
1 file changed