‘destroy’ functionality (fixes #145)