Switching formatting of headings to make Pandoc happier