Fix typo from #9195