minor changes in Player equals() and compareTo()