Jenkins: typo