Small fix in dist script