(#9546) Fixed a few typos