Commented buffering thing

Need to ask Prof. Hudak about why this is necessary.