Added simple destructor