triggers_jenkins: minor fixes