jenkins: typo