buffer manager bugfix