Prevent player name from becoming part of a formatting string.

fixes #6524
Merge pull request #6526 from MatthijsBenschop/debug-crash-fix

Prevent player name from becoming part of a formatting string.