Merge #10705: Trivial: spelling fixes