jenkins_integration: fixing small name bug