jenkins: fix typo