Added destructor implementation