Principal agent: typo fix