typo and minor formatting