DOC: Small fixes in documentation.

Nothing much to see here. Things I discovered while building the docs, and uploading them to the website.