Correction to buffer size

Bug introduced earlier today in
commit 8df024c19ed220810395ba5c4f72748188e1002d