There's probably no reason to have a destructor if it's not going to do anything.