* Buffered output needs to be flushed in several places. Added calls to