finish spec for destructiring #520