Added flush-output-port