Make sure that no label is returned twice