fixup! Adding notion dist-copy