Fixed a typo and made some cosmetic changes.