pedestrian: I got a response "It's a visual bug. Player names should be switched in the message." I have no way of verifying it now!