Fix some typos pointed out in #2026.