Update player name in case it has changed.

TODO: Check for double names if that happens? In general?