gameview: adapt to the use of Range for player number.