Hopefully correct copy ctor