Small fix for dist.sh.