small changes to players.java