The agent and user can call other players by their real name.

Also fixes a bug in `print_card` that caused the program to crash.