jenkins: fix typos