Fixing a typo and minor improvement, in the docs.