Added flush(), for completeness.
1 file changed