Minor format changes to AgentRegistry.