Various typo-fixing

Nitpicky typo fixes.