scan: Don't fflush manually. Let stdio care for this.