GH #305: There are bugs in Buffer.h