#8895: Small typos