slight edits to docs as suggested by @mdboom