Remove a duplicate section (thanks to Martin Kronbichler for pointing it out).