Bug fix for Jenkins test failure.