bugfix for buffer_fadd