Minor typos and formatting.