This is actually incorrect, isn't it? Even though the chance is tiny, it should still be possible to have values repeated.