Dependency bug corrected

Dependency bug, which probably causes the Jenkins build to fail, is corrected.