Fix inappropriate ## headings

Fixes #15499.