Docs

Minor doc additions.