BufferManager destructor added