fix size for SOLO_AGENT_TYPES in AgentList header