Fix duplicate element id

Currently the duplicate id is not a problem because the correct one comes first. If the order was changed, things would break (and anyway, it's invalid HTML to have elements with the same id).