Typos and formatting tweaks.