tmp-format: declare destructor as virtual, so it is called by derived class