updated buffermanager.h