fix a couple of documentation and formatting issues

Fixes #9024