Addendum

It's up to your discretion whether you give the henchman a name, but it's probably better in most cases not to.