Fixed a Jenkins error.