bug in bufferpool read