Fix virtual dtor