Disassembly does not properly label destructors

[bobjervis]

A call to a destructor, say a string destructor is labeled:

text.string.string

It should be

text.string.~string

The machine addresses are correct, however.