Jenkins: fix previous