Minor fixes to BufferPool.rst