I removed a pointless output line from HumanPlayer.