Minor typo and formatting corrections