Defensive check just in case destroy() is called more than once subsequently.