Editorial: remove redundant section header #1

Closed martinthomson closed 8 years ago