One more typo in jenkins nightly
Another bug fix for the nightly script