Don't copy a naked pointer in the copy constructor, to prevent a double delete.