No need to write a trivial dtor