Bug fix for Jenkins build