New documentation concerning the label.

I did not specify before that labels must be unambiguous.