That's actually why I thought the double occurrence was an oversight -- I assumed someone had copied them to the end, as per the comment, but just forgotten to delete the earlier one.