Protect against circular destructors