Fixing a few places where we should now be using agent display names
Merge pull request #731 from hudmol/use-agent-display-names

Fixing a few places where we should now be using agent display names