fix typo

as per #9848
fix typo