jenkins_integration: fixing formatting bug