Fixed a few tiny typos in the comments and formatting.