Slight amelioration in isEndOfGame.