more short changes to MachinePlayer.java