docs fixes
Here's a couple of patches for issues that have crept into the docs in the last few weeks.
These issues were all trivially caught by simply building the docs, so, uhm... maybe people try building the docs before they merge? Or perhaps we should look into making docs-warnings into errors on CI :)