Revert "Remove extraneous section"

This reverts commit 53ef89a0a70da4d2c675af91610f864d53a5d4a7.
Revert "Revert "Remove extraneous section""

This reverts commit a447877072477b6110ee876b3682781936fa5b09.
.