chiark / gitweb /
doc/concepts.tex: Fix copy-and-paste fail in `Destruction' section.