Woops, have to actually implement a destructor