[NOP] cosmetics
[FIX] fixed bug in destructor