Not necessary to have an empty destructor, or is it?