We use player instead of name for the player's last known name.

Good catch by @dewick on issue #26.