Minor fixes and typographic fixes.