Docs: fix formatting of a section title