Added flushing to stdout.