Solves issue where Sphinx prefers unique headings