Update Buffer.hs