Improve the document headings that don't appear upstream.