minor changes to the docs.