doc: some fixes

Noticeably closes #9981.

@alexcrichton