fix bad typo, #25459