Small updates in MatchPlayer and RunRingPoker