Well let's be pragmatic, in which situation a choice widget can have duplicate labels (excepted in a bug :))?