Bugfix destroy

There were two errors that would occur when calling `destroy()`.  This fixes them.