destroy cleanly.