looks like a hand-made virtual destructor!