Update player name in case it has changed.
TODO: Check for double names if that happens? In general?