Adding notiong dist-copy