Bold attacker name in alert messages

The attacker name is hard to pick out from the address at a glance, so I made it bold.