Prevent player name from becoming part of a formatting string.

fixes #6524