Fixed a Jenkins build error.