Make sure the additional destroy code is actually executed