Another bug fix for the nightly script