Minor formatting fixes, some typos repaired.