Fixed a typo and made minor changes to documentation