Fix issue #610 - odoc html-fragment not producing headings correctly

Fix issue #610 - odoc html-fragment not producing headings correctly #2853