Small bugfix for gen-buffers