Documentation for the destructor? Or maybe remove it?