#10602: Typos