Doc for constructor and destructor