Minor changes to BufferManagers