fix in RandomizedSelect