jenkins_integration: minor bug cleanup