Update notes for submitted changes

* Remove debug 'abort()'. Set line buffering (instead of fully buffered) for stdout.