Fixed a Jenkins build issue.