Do not duplicate labels

But these are not referenced at all from the text