Docs: fixes

Some minor fixes.