Minor typo corrections and formatting