RPF-1: added missing virtual destructor