Minor refactoring of nextPlayerNum()