I think the exact same section is inserted earlier. Mistake, or meant to be so?