Minor changes to the docs.