[#9629] Fix typo