Adding notion dist-copy