Doc: fix duplicate section.