The `$destructor` is useless in this case.