Small fix for the nightly builder