Dependecy bug corrected.

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