scan: Don't fflush manually. Let stdio care for this.
[mmh] / DATE
1 27 April 2008