Fixed a stupid bug in BufferPool.