Note for future cleanups: Empty destructors should be removed.