bug fix in RandomPlayer